arxiv:2506.07047
Roozbeh Yousefzadeh
roozbeh-yz
AI & ML interests
None yet
Recent Activity
authored
a paper
1 day ago
Mathesis: Towards Formal Theorem Proving from Natural Languages
authored
a paper
19 days ago
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal
Reasoning
updated
a dataset
3 months ago
roozbeh-yz/IMO-Steps
Organizations
None yet
