| A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception | Aug 7, 2020 | Formal Logic | —Unverified | 0 |
| Building Multimodal Simulations for Natural Language | Apr 1, 2017 | Formal LogicReferring Expression | —Unverified | 0 |
| Combining Representation Learning with Logic for Language Processing | Dec 27, 2017 | Formal LogicKnowledge Base Completion | —Unverified | 0 |
| Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning | Apr 19, 2018 | Automated Theorem ProvingFormal Logic | —Unverified | 0 |
| Expressing High-Level Scientific Claims with Formal Semantics | Sep 27, 2021 | ArticlesFormal Logic | —Unverified | 0 |
| Boosting Deductive Reasoning with Step Signals In RLHF | Oct 12, 2024 | Formal LogicLogical Reasoning | —Unverified | 0 |
| DLOLIS-A: Description Logic based Text Ontology Learning | Mar 24, 2013 | Formal Logic | —Unverified | 0 |
| A Simple Generative Model of Logical Reasoning and Statistical Learning | May 18, 2023 | Bayesian InferenceFormal Logic | —Unverified | 0 |
| Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation | Jun 18, 2024 | Formal Logic | —Unverified | 0 |
| Differentiable Logics for Neural Network Training and Verification | Jul 14, 2022 | Formal Logic | —Unverified | 0 |
