| 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 |
| Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data | Feb 13, 2024 | Formal LogicRelation | —Unverified | 0 |
| SocraSynth: Multi-LLM Reasoning with Conditional Statistics | Jan 19, 2024 | Decision MakingFormal Logic | —Unverified | 0 |
| Formal Logic Enabled Personalized Federated Learning Through Property Inference | Jan 15, 2024 | Federated LearningFormal Logic | —Unverified | 0 |
| RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic | Aug 3, 2023 | Chart Question AnsweringFormal Logic | CodeCode Available | 0 |
