Roozbeh Yousefzadeh

roozbeh-yz's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 1 day ago

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

Paper • 2511.03108 • Published 15 days ago • 2

authored a paper 4 months ago

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs

Paper • 2507.04719 • Published Jul 7

authored a paper 5 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8 • 5

authored a paper 6 months ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Paper • 2505.05758 • Published May 9

authored a paper 8 months ago

A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems

Paper • 2411.18872 • Published Nov 28, 2024 • 1