ML Anthology

O'Hearn, Peter

1 publications

NeurIPS 2025 Logic.py: Bridging the Gap Between LLMs and Constraint Solvers Pascal Kesseli, Peter O'Hearn, Ricardo Silveira Cabral