SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 73 papers

TitleStatusHype
Inference of Abstraction for a Unified Account of Reasoning and Learning—0
Inferences and Modal Vocabulary—0
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic—0
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence—0
Knowledge Integration Strategies in Autonomous Vehicle Prediction and Planning: A Comprehensive Survey—0
Learning Spatio-Temporal Specifications for Dynamical Systems—0
LGPSolver - Solving Logic Grid Puzzles Automatically—0
Linguistic Generalizations are not Rules: Impacts on Evaluation of LMs—0
Logical Story Representations via FrameNet + Semantic Parsing—0
Logical Story Representations via FrameNet + Semantic Parsing—0
LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents—0
Machine Common Sense—0
Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design—0
On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains—0
Principles and Examples of Plausible Reasoning and Propositional Plausible Logic—0
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)—0
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning—0
ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering—0
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification—0
Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic—0
Service Choreography, SBVR, and Time—0
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)—0
SocraSynth: Multi-LLM Reasoning with Conditional Statistics—0
Stateless and Rule-Based Verification For Compliance Checking Applications—0
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem—0
Show:102550
← PrevPage 2 of 3Next →

No leaderboard results yet.