| Scaling Language Models: Methods, Analysis & Insights from Training Gopher | Dec 8, 2021 | Abstract AlgebraAnachronisms | CodeCode Available | 2 | 5 |
| Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus | Nov 19, 2024 | Formal LogicLogical Reasoning | CodeCode Available | 2 | 5 |
| Leveraging Rust types for modular specification and verification | Oct 10, 2019 | Formal Logic | CodeCode Available | 2 | 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 |
| 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 |
| Leveraging Large Language Models to Generate Answer Set Programs | Jul 15, 2023 | Formal LogicIn-Context Learning | CodeCode Available | 1 | 5 |
| Training Step-Level Reasoning Verifiers with Formal Verification Tools | May 21, 2025 | Formal LogicMath | CodeCode Available | 1 | 5 |
| Autoformalization of Game Descriptions using Large Language Models | Sep 18, 2024 | Formal Logic | CodeCode Available | 0 | 5 |
| Software Engineering Methods For AI-Driven Deductive Legal Reasoning | Apr 15, 2024 | Formal LogicLegal Reasoning | CodeCode Available | 0 | 5 |
