?
today
local_bar
search
lean prover
2 papers across 1 session
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
