Roozbeh Mohit
roozbeh-yz
AI & ML interests
None yet
Recent Activity
upvoted a collection 3 days ago
Kimina Prover upvoted a paper 11 months ago
Mathesis: Towards Formal Theorem Proving from Natural Languages new activity 12 months ago
roozbeh-yz/miniF2F_v2:Improve dataset card: Add metadata, detailed description, and citationOrganizations
None yet