| Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) | Nov 17, 2022 | Formal LogicPosition | —Unverified | 0 |
| Learning Symbolic Rules for Reasoning in Quasi-Natural Language | Nov 23, 2021 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 |
| Lectures on Jacques Herbrand as a Logician | Feb 26, 2009 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 |
| Design of quantum optical experiments with logic artificial intelligence | Sep 27, 2021 | Formal Logic | CodeCode Available | 0 |
| CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning | Oct 21, 2024 | Formal LogicIn-Context Learning | CodeCode Available | 0 |
| Negation in Cognitive Reasoning | Dec 23, 2020 | Formal LogicNegation | CodeCode Available | 0 |
| Autoformalization of Game Descriptions using Large Language Models | Sep 18, 2024 | Formal Logic | CodeCode Available | 0 |
| RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic | Aug 3, 2023 | Chart Question AnsweringFormal Logic | CodeCode Available | 0 |
| Software Engineering Methods For AI-Driven Deductive Legal Reasoning | Apr 15, 2024 | Formal LogicLegal Reasoning | CodeCode Available | 0 |
| Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents | Aug 28, 2024 | Decision MakingFormal Logic | CodeCode Available | 0 |
