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
Visual Question Answering based on Formal Logic—0
Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity—0
An Enactivist account of Mind Reading in Natural Language Understanding—0
A Simple Generative Model of Logical Reasoning and Statistical Learning—0
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception—0
Automated Theorem Provers Help Improve Large Language Model Reasoning—0
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs—0
Boosting Deductive Reasoning with Step Signals In RLHF—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
Towards Unifying Logical Entailment and Statistical Estimation—0
Toward the Engineering of Virtuous Machines—0
Show:102550
← PrevPage 2 of 3Next →

No leaderboard results yet.