| Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach | Mar 13, 2025 | Formal LogicMathematical Reasoning | —Unverified | 0 |
| LGPSolver - Solving Logic Grid Puzzles Automatically | Nov 1, 2020 | Formal LogicLogic Grid Puzzle | —Unverified | 0 |
| Linguistic Generalizations are not Rules: Impacts on Evaluation of LMs | Feb 18, 2025 | Formal LogicSemantic Parsing | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jan 16, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
| Logical Story Representations via FrameNet + Semantic Parsing | Jul 1, 2022 | Formal LogicQuestion Answering | —Unverified | 0 |
| LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents | Jul 4, 2025 | Decision MakingFormal Logic | —Unverified | 0 |
| Machine Common Sense | Jun 15, 2020 | Common Sense ReasoningFormal Logic | —Unverified | 0 |
| Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design | Jul 23, 2024 | Formal LogicLanguage Modelling | —Unverified | 0 |
| On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains | Jun 16, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| Principles and Examples of Plausible Reasoning and Propositional Plausible Logic | Mar 6, 2017 | Formal Logic | —Unverified | 0 |
