| Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus | Nov 19, 2024 | Formal LogicLogical Reasoning | CodeCode Available | 2 | 5 |
| Scaling Language Models: Methods, Analysis & Insights from Training Gopher | Dec 8, 2021 | Abstract AlgebraAnachronisms | CodeCode Available | 2 | 5 |
| Leveraging Rust types for modular specification and verification | Oct 10, 2019 | Formal Logic | CodeCode Available | 2 | 5 |
| Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal Logic | Aug 21, 2020 | Formal Logic | CodeCode Available | 1 | 5 |
| Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic | Aug 11, 2023 | Formal LogicLogical Reasoning | CodeCode Available | 1 | 5 |
| Training Step-Level Reasoning Verifiers with Formal Verification Tools | May 21, 2025 | Formal LogicMath | CodeCode Available | 1 | 5 |
| Leveraging Large Language Models to Generate Answer Set Programs | Jul 15, 2023 | Formal LogicIn-Context Learning | CodeCode Available | 1 | 5 |
| Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation | May 24, 2023 | Formal LogicGPU | CodeCode Available | 1 | 5 |
| Software Engineering Methods For AI-Driven Deductive Legal Reasoning | Apr 15, 2024 | Formal LogicLegal Reasoning | 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 |
| Satisfiability and Containment of Recursive SHACL | Aug 30, 2021 | Formal Logic | CodeCode Available | 0 | 5 |
| Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents | Aug 28, 2024 | Decision MakingFormal Logic | CodeCode Available | 0 | 5 |
| Autoformalization of Game Descriptions using Large Language Models | Sep 18, 2024 | Formal Logic | 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 |
| Learning Symbolic Rules for Reasoning in Quasi-Natural Language | Nov 23, 2021 | 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 |
| Lectures on Jacques Herbrand as a Logician | Feb 26, 2009 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 | 5 |
| Negation in Cognitive Reasoning | Dec 23, 2020 | Formal LogicNegation | CodeCode Available | 0 | 5 |
| Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning | Apr 19, 2018 | Automated Theorem ProvingFormal Logic | —Unverified | 0 | 0 |
| Combining Representation Learning with Logic for Language Processing | Dec 27, 2017 | Formal LogicKnowledge Base Completion | —Unverified | 0 | 0 |
| Building Multimodal Simulations for Natural Language | Apr 1, 2017 | Formal LogicReferring Expression | —Unverified | 0 | 0 |
| Formal Logic Enabled Personalized Federated Learning Through Property Inference | Jan 15, 2024 | Federated LearningFormal Logic | —Unverified | 0 | 0 |
| Expressing High-Level Scientific Claims with Formal Semantics | Sep 27, 2021 | ArticlesFormal Logic | —Unverified | 0 | 0 |
