SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 73 papers

TitleStatusHype
Leveraging Rust types for modular specification and verificationCode2
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic CorpusCode2
Scaling Language Models: Methods, Analysis & Insights from Training GopherCode2
Learning Deductive Reasoning from Synthetic Corpus based on Formal LogicCode1
Training Step-Level Reasoning Verifiers with Formal Verification ToolsCode1
Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal LogicCode1
Leveraging Large Language Models to Generate Answer Set ProgramsCode1
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic TranslationCode1
Building Knowledge Graphs Towards a Global Food Systems Datahub—0
Building Multimodal Simulations for Natural Language—0
Combining Representation Learning with Logic for Language Processing—0
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning—0
Differentiable Logics for Neural Network Training and Verification—0
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation—0
DLOLIS-A: Description Logic based Text Ontology Learning—0
Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents—0
Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic—0
Expressing High-Level Scientific Claims with Formal Semantics—0
Formal Logic Enabled Personalized Federated Learning Through Property Inference—0
Formal Logic-guided Robust Federated Learning against Poisoning Attacks—0
From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle—0
From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI—0
Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility—0
Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic—0
Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data—0
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 1 of 2Next →

No leaderboard results yet.