| Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning | Apr 19, 2018 | Automated Theorem ProvingFormal Logic | —Unverified | 0 | 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 | 0 |
| Combining Representation Learning with Logic for Language Processing | Dec 27, 2017 | Formal LogicKnowledge Base Completion | —Unverified | 0 | 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 | 0 |
| Formal Logic-guided Robust Federated Learning against Poisoning Attacks | Nov 5, 2024 | Federated LearningFormal Logic | —Unverified | 0 | 0 |
| Building Multimodal Simulations for Natural Language | Apr 1, 2017 | Formal LogicReferring Expression | —Unverified | 0 | 0 |
| Formal Logic Enabled Personalized Federated Learning Through Property Inference | Jan 15, 2024 | Federated LearningFormal Logic | —Unverified | 0 | 0 |
| Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility | Jan 20, 2023 | Formal Logic | —Unverified | 0 | 0 |
| Expressing High-Level Scientific Claims with Formal Semantics | Sep 27, 2021 | ArticlesFormal Logic | —Unverified | 0 | 0 |
| Building Knowledge Graphs Towards a Global Food Systems Datahub | Feb 26, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 | 0 |
