logo
today local_bar
formal reasoning

3 papers across 2 sessions

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
#2415 · Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh
miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
#205 · Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

Poster Session 5

1 paper
Friday, December 5, 2025 · 11:00 AM → 2:00 PM
Exhibit Hall C,D,E
Logic.py: Bridging the Gap between LLMs and Constraint Solvers
#700 · Pascal Kesseli, Peter O'Hearn, Ricardo Cabral

Using Formal Reasoning Tools in RL and at Inference Time to improve Reasoning Capability