| ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering | Sep 17, 2024 | Formal LogicLanguage Modeling | —Unverified | 0 |
| Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents | Aug 28, 2024 | Decision MakingFormal Logic | CodeCode Available | 0 |
| Automated Theorem Provers Help Improve Large Language Model Reasoning | Aug 7, 2024 | Formal LogicLanguage Modeling | —Unverified | 0 |
| Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design | Jul 23, 2024 | Formal LogicLanguage Modelling | —Unverified | 0 |
| From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI | Jul 4, 2024 | Explainable artificial intelligenceExplainable Artificial Intelligence (XAI) | —Unverified | 0 |
| Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation | Jun 18, 2024 | Formal Logic | —Unverified | 0 |
| Software Engineering Methods For AI-Driven Deductive Legal Reasoning | Apr 15, 2024 | Formal LogicLegal Reasoning | CodeCode Available | 0 |
| Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents | Feb 24, 2024 | Formal LogicProgram Synthesis | —Unverified | 0 |
| Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic | Feb 22, 2024 | Formal LogicKnowledge Distillation | —Unverified | 0 |
| Inference of Abstraction for a Unified Account of Reasoning and Learning | Feb 14, 2024 | Formal Logic | —Unverified | 0 |
