Cite
Notes
Only stored in your browser.
Attribution
Logic.py: Bridging the Gap between LLMs and Constraint Solvers
arXiv 2025
from 1 papers
Peter O'Hearn
Ricardo Silveira Cabral