miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
Paper • 2511.03108 • Published • 4 •
2
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
Improve dataset card: Add metadata, detailed description, and citation
1
#1 opened 12 months ago
by 
nielsr
commented a
paper 12 months ago