Roozbeh Yousefzadeh
roozbeh-yz
AI & ML interests
None yet
Recent Activity
authored
a paper
12 days ago
Advocate for Complete Benchmarks for Formal Reasoning with
Formal/Informal Statements and Formal/Informal Proofs
upvoted
an
article
12 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
upvoted
a
paper
about 2 months ago
Mathesis: Towards Formal Theorem Proving from Natural Languages
Organizations
None yet