| Learning Spatio-Temporal Specifications for Dynamical Systems | Dec 20, 2021 | Formal Logic | —Unverified | 0 |
| Visual Question Answering based on Formal Logic | Nov 8, 2021 | Formal LogicQuestion Answering | —Unverified | 0 |
| Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity | May 26, 2025 | Formal Logic | —Unverified | 0 |
| An Enactivist account of Mind Reading in Natural Language Understanding | Nov 11, 2021 | Formal LogicNatural Language Understanding | —Unverified | 0 |
| A Simple Generative Model of Logical Reasoning and Statistical Learning | May 18, 2023 | Bayesian InferenceFormal Logic | —Unverified | 0 |
| A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception | Aug 7, 2020 | Formal Logic | —Unverified | 0 |
| Automated Theorem Provers Help Improve Large Language Model Reasoning | Aug 7, 2024 | Formal LogicLanguage Modeling | —Unverified | 0 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| Boosting Deductive Reasoning with Step Signals In RLHF | Oct 12, 2024 | Formal LogicLogical Reasoning | —Unverified | 0 |
| Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning | Sep 25, 2024 | BenchmarkingFormal Logic | —Unverified | 0 |
