| A Simple Generative Model of Logical Reasoning and Statistical Learning | May 18, 2023 | Bayesian InferenceFormal Logic | —Unverified | 0 |
| Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility | Jan 20, 2023 | Formal Logic | —Unverified | 0 |
| Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) | Nov 17, 2022 | Formal LogicPosition | —Unverified | 0 |
| Differentiable Logics for Neural Network Training and Verification | Jul 14, 2022 | Formal Logic | —Unverified | 0 |
| Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic | Jul 1, 2022 | Formal LogicQ-Learning | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jul 1, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
| Stateless and Rule-Based Verification For Compliance Checking Applications | Apr 14, 2022 | Formal Logic | —Unverified | 0 |
| Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers | Mar 3, 2022 | ArticlesFormal Logic | CodeCode Available | 0 |
| Towards Unifying Logical Entailment and Statistical Estimation | Feb 27, 2022 | Formal LogicLogical Reasoning | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jan 16, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
