| Differentiable Logics for Neural Network Training and Verification | Jul 14, 2022 | Formal Logic | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jul 1, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
| Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic | Jul 1, 2022 | Formal LogicQ-Learning | —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 |
| Learning Spatio-Temporal Specifications for Dynamical Systems | Dec 20, 2021 | Formal Logic | —Unverified | 0 |
| Scaling Language Models: Methods, Analysis & Insights from Training Gopher | Dec 8, 2021 | Abstract AlgebraAnachronisms | CodeCode Available | 2 |
| Learning Symbolic Rules for Reasoning in Quasi-Natural Language | Nov 23, 2021 | Automated Theorem ProvingFormal Logic | CodeCode Available | 0 |
