Logic.py: Bridging the Gap between LLMs and Constraint Solvers - Kesseli, Pascal; O'Hearn, Peter; Cabral, Ricardo (Advances in Neural Information Processing Systems, 2025)