?
today
local_bar
search
automated theorem proving
3 papers across 1 session
Poster Session 2
3 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
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
star
#206
·
Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao, Tao Luo
miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
star
#205
·
Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
