arxiv:2507.04719
Roozbeh Yousefzadeh
roozbeh-yz
AI & ML interests
None yet
Recent Activity
authored
a paper
4 days ago
Advocate for Complete Benchmarks for Formal Reasoning with
Formal/Informal Statements and Formal/Informal Proofs
upvoted
an
article
4 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
Organizations
None yet
