Roozbeh Yousefzadeh's picture

2

Roozbeh Yousefzadeh

roozbeh-yz

·

AI & ML interests

None yet

Recent Activity

authored a paper 6 days ago

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

upvoted an article 6 days ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

upvoted a paper about 1 month ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

View all activity

Organizations

None yet

authored a paper 6 days ago

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

Paper • 2507.04719 • Published 24 days ago

authored a paper about 2 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8 • 5

authored a paper 2 months ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Paper • 2505.05758 • Published May 9

authored a paper 5 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