| Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach | Mar 13, 2025 | Formal LogicMathematical Reasoning | —Unverified | 0 |
| LGPSolver - Solving Logic Grid Puzzles Automatically | Nov 1, 2020 | Formal LogicLogic Grid Puzzle | —Unverified | 0 |
| Linguistic Generalizations are not Rules: Impacts on Evaluation of LMs | Feb 18, 2025 | Formal LogicSemantic Parsing | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jan 16, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jul 1, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
| LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents | Jul 4, 2025 | Decision MakingFormal Logic | —Unverified | 0 |
| Machine Common Sense | Jun 15, 2020 | Common Sense ReasoningFormal Logic | —Unverified | 0 |
| Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design | Jul 23, 2024 | Formal LogicLanguage Modelling | —Unverified | 0 |
| On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains | Jun 16, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| Principles and Examples of Plausible Reasoning and Propositional Plausible Logic | Mar 6, 2017 | Formal Logic | —Unverified | 0 |
| 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 |
| Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts? | Jun 5, 2025 | Formal LogicIn-Context Learning | CodeCode Available | 0 |
| Satisfiability and Containment of Recursive SHACL | Aug 30, 2021 | Formal Logic | CodeCode Available | 0 |
| Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers | Mar 3, 2022 | ArticlesFormal Logic | CodeCode Available | 0 |
