| Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus | Nov 19, 2024 | Formal LogicLogical Reasoning | CodeCode Available | 2 |
| Scaling Language Models: Methods, Analysis & Insights from Training Gopher | Dec 8, 2021 | Abstract AlgebraAnachronisms | CodeCode Available | 2 |
| Leveraging Rust types for modular specification and verification | Oct 10, 2019 | Formal Logic | CodeCode Available | 2 |
| Training Step-Level Reasoning Verifiers with Formal Verification Tools | May 21, 2025 | Formal LogicMath | CodeCode Available | 1 |
| Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic | Aug 11, 2023 | Formal LogicLogical Reasoning | CodeCode Available | 1 |
| Leveraging Large Language Models to Generate Answer Set Programs | Jul 15, 2023 | Formal LogicIn-Context Learning | CodeCode Available | 1 |
| Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation | May 24, 2023 | Formal LogicGPU | CodeCode Available | 1 |
| Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal Logic | Aug 21, 2020 | Formal Logic | CodeCode Available | 1 |
| LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents | Jul 4, 2025 | Decision MakingFormal Logic | —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 |
