- Logic.py: Bridging the Gap between LLMs and Constraint Solvers Pascal Kesseli Peter O'Hearn Ricardo Silveira Cabral Mon 03 March 2025
- On Exact Sampling in the Two-Variable Fragment of First-Order Logic Yuanhong Wang Juhua Pu Yuyi Wang Ondřej Kużelka Fri 28 April 2023
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
