Samy Jelassi
sjelassi
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
2 days ago
STP: Self-play LLM Theorem Provers with Iterative Conjecturing and
Proving
Organizations
sjelassi's activity
No public activity