| Towards Unifying Logical Entailment and Statistical Estimation | Feb 27, 2022 | Formal LogicLogical Reasoning | —Unverified | 0 | 0 |
| Toward the Engineering of Virtuous Machines | Dec 7, 2018 | EthicsFormal Logic | —Unverified | 0 | 0 |
| Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach | Mar 13, 2025 | Formal LogicMathematical Reasoning | —Unverified | 0 | 0 |
| Visual Question Answering based on Formal Logic | Nov 8, 2021 | Formal LogicQuestion Answering | —Unverified | 0 | 0 |
| Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity | May 26, 2025 | Formal Logic | —Unverified | 0 | 0 |
| An Enactivist account of Mind Reading in Natural Language Understanding | Nov 11, 2021 | Formal LogicNatural Language Understanding | —Unverified | 0 | 0 |
| A Simple Generative Model of Logical Reasoning and Statistical Learning | May 18, 2023 | Bayesian InferenceFormal Logic | —Unverified | 0 | 0 |
| A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception | Aug 7, 2020 | Formal Logic | —Unverified | 0 | 0 |
| Automated Theorem Provers Help Improve Large Language Model Reasoning | Aug 7, 2024 | Formal LogicLanguage Modeling | —Unverified | 0 | 0 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 | 0 |
