TY  - RPRT
TI  - Logic.py: Bridging the Gap between LLMs and Constraint Solvers
AU  - Pascal Kesseli
AU  - Peter O'Hearn
AU  - Ricardo Silveira Cabral
PY  - 2025
UR  - https://arxiv.org/abs/2502.15776
ID  - 2502.15776
ER  -