| 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 |
| 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 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle | Dec 17, 2024 | AI AgentFormal Logic | —Unverified | 0 |
| Formal Logic-guided Robust Federated Learning against Poisoning Attacks | Nov 5, 2024 | Federated LearningFormal Logic | —Unverified | 0 |
