| Negation in Cognitive Reasoning | Dec 23, 2020 | Formal LogicNegation | CodeCode Available | 0 | 5 |
| Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers | Mar 3, 2022 | ArticlesFormal Logic | CodeCode Available | 0 | 5 |
| Autoformalization of Game Descriptions using Large Language Models | Sep 18, 2024 | Formal Logic | CodeCode Available | 0 | 5 |
| RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic | Aug 3, 2023 | Chart Question AnsweringFormal Logic | CodeCode Available | 0 | 5 |
| Software Engineering Methods For AI-Driven Deductive Legal Reasoning | Apr 15, 2024 | Formal LogicLegal Reasoning | CodeCode Available | 0 | 5 |
| Lectures on Jacques Herbrand as a Logician | Feb 26, 2009 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 | 5 |
| Design of quantum optical experiments with logic artificial intelligence | Sep 27, 2021 | Formal Logic | CodeCode Available | 0 | 5 |
| 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 | 5 |
| Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts? | Jun 5, 2025 | Formal LogicIn-Context Learning | CodeCode Available | 0 | 5 |
| Learning Symbolic Rules for Reasoning in Quasi-Natural Language | Nov 23, 2021 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 | 5 |
