| Boosting Deductive Reasoning with Step Signals In RLHF | Oct 12, 2024 | Formal LogicLogical Reasoning | —Unverified | 0 | 0 |
| Building Knowledge Graphs Towards a Global Food Systems Datahub | Feb 26, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 | 0 |
| Building Multimodal Simulations for Natural Language | Apr 1, 2017 | Formal LogicReferring Expression | —Unverified | 0 | 0 |
| Combining Representation Learning with Logic for Language Processing | Dec 27, 2017 | Formal LogicKnowledge Base Completion | —Unverified | 0 | 0 |
| Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning | Apr 19, 2018 | Automated Theorem ProvingFormal Logic | —Unverified | 0 | 0 |
| Differentiable Logics for Neural Network Training and Verification | Jul 14, 2022 | Formal Logic | —Unverified | 0 | 0 |
| Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation | Jun 18, 2024 | Formal Logic | —Unverified | 0 | 0 |
| DLOLIS-A: Description Logic based Text Ontology Learning | Mar 24, 2013 | Formal Logic | —Unverified | 0 | 0 |
| Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents | Feb 24, 2024 | Formal LogicProgram Synthesis | —Unverified | 0 | 0 |
| Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic | Feb 22, 2024 | Formal LogicKnowledge Distillation | —Unverified | 0 | 0 |
