?
today
local_bar
search
Roozbeh Yousefzadeh
Researcher, Huawei Technologies Ltd.
2 papers at NeurIPS 2025
Homepage
·
OpenReview
·
Semantic Scholar
·
Google Scholar
Poster Session 2
2 papers
Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM
Exhibit Hall C,D,E
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
star
#2415
·
Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
star
#205
·
Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
