| 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 |
| Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts? | Jun 5, 2025 | Formal LogicIn-Context Learning | CodeCode Available | 0 |
| Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity | May 26, 2025 | Formal Logic | —Unverified | 0 |
| Training Step-Level Reasoning Verifiers with Formal Verification Tools | May 21, 2025 | Formal LogicMath | CodeCode Available | 1 |
| Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification | Mar 27, 2025 | Automated Theorem ProvingFormal Logic | —Unverified | 0 |
| Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach | Mar 13, 2025 | Formal LogicMathematical Reasoning | —Unverified | 0 |
| Building Knowledge Graphs Towards a Global Food Systems Datahub | Feb 26, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| Linguistic Generalizations are not Rules: Impacts on Evaluation of LMs | Feb 18, 2025 | Formal LogicSemantic Parsing | —Unverified | 0 |
| Knowledge Integration Strategies in Autonomous Vehicle Prediction and Planning: A Comprehensive Survey | Feb 13, 2025 | Autonomous DrivingFormal Logic | —Unverified | 0 |
