today local_bar

Pascal Kesseli

Principal Researcher, Facebook

1 paper at NeurIPS 2025

OpenReview· Semantic Scholar· Google Scholar

Poster Session 5

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 Silveira Cabral

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