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

Samy Jelassi

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 7 days 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 0

None public yet

datasets 0

None public yet