Hugging Face's logo
Samy Jelassi's picture
1 3

Samy Jelassi

sjelassi
Cohaerence's profile picture ClaraBing's profile picture 21world's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper about 13 hours ago
STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
View all activity

Organizations

Harvard University's profile picture Princeton University's profile picture TinyGSM's profile picture sidea's profile picture SIEH's profile picture

Papers 2

models

None public yet

datasets

None public yet