Roozbeh Yousefzadeh

~Roozbeh_Yousefzadeh1

2

论文总数

2.0

年均投稿

6.8

平均评分

接收情况2/2

会议分布

NeurIPS

2

发表论文 (2 篇)

20252 篇

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

NeurIPS 2025Poster

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

NeurIPS 2025Poster

合作者 (2)

Azim Ospanov2 篇

Farzan Farnia2 篇