SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 73 papers

TitleStatusHype
LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents—0
On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains—0
Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts?Code0
Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity—0
Training Step-Level Reasoning Verifiers with Formal Verification ToolsCode1
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification—0
Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach—0
Building Knowledge Graphs Towards a Global Food Systems Datahub—0
Linguistic Generalizations are not Rules: Impacts on Evaluation of LMs—0
Knowledge Integration Strategies in Autonomous Vehicle Prediction and Planning: A Comprehensive Survey—0
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs—0
From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle—0
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic CorpusCode2
Formal Logic-guided Robust Federated Learning against Poisoning Attacks—0
Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence—0
Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic—0
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought ReasoningCode0
Boosting Deductive Reasoning with Step Signals In RLHF—0
Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning—0
Autoformalization of Game Descriptions using Large Language ModelsCode0
ProSLM : A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering—0
Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model AgentsCode0
Automated Theorem Provers Help Improve Large Language Model Reasoning—0
Networks of Networks: Complexity Class Principles Applied to Compound AI Systems Design—0
From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI—0
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation—0
Software Engineering Methods For AI-Driven Deductive Legal ReasoningCode0
Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents—0
Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic—0
Inference of Abstraction for a Unified Account of Reasoning and Learning—0
Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data—0
SocraSynth: Multi-LLM Reasoning with Conditional Statistics—0
Formal Logic Enabled Personalized Federated Learning Through Property Inference—0
Learning Deductive Reasoning from Synthetic Corpus based on Formal LogicCode1
RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order LogicCode0
Leveraging Large Language Models to Generate Answer Set ProgramsCode1
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic TranslationCode1
A Simple Generative Model of Logical Reasoning and Statistical Learning—0
Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility—0
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)—0
Differentiable Logics for Neural Network Training and Verification—0
Logical Story Representations via FrameNet + Semantic Parsing—0
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic—0
Stateless and Rule-Based Verification For Compliance Checking Applications—0
Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization PapersCode0
Towards Unifying Logical Entailment and Statistical Estimation—0
Logical Story Representations via FrameNet + Semantic Parsing—0
Learning Spatio-Temporal Specifications for Dynamical Systems—0
Scaling Language Models: Methods, Analysis & Insights from Training GopherCode2
Learning Symbolic Rules for Reasoning in Quasi-Natural LanguageCode0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.