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
Scaling Language Models: Methods, Analysis & Insights from Training GopherCode2
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic CorpusCode2
Leveraging Large Language Models to Generate Answer Set ProgramsCode1
Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal LogicCode1
Training Step-Level Reasoning Verifiers with Formal Verification ToolsCode1
Learning Deductive Reasoning from Synthetic Corpus based on Formal LogicCode1
Harnessing the Power of Large Language Models for Natural Language to First-Order Logic TranslationCode1
Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model AgentsCode0
Design of quantum optical experiments with logic artificial intelligenceCode0
Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization PapersCode0
Negation in Cognitive ReasoningCode0
Software Engineering Methods For AI-Driven Deductive Legal ReasoningCode0
Learning Symbolic Rules for Reasoning in Quasi-Natural LanguageCode0
Lectures on Jacques Herbrand as a LogicianCode0
RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order LogicCode0
Are LLMs Reliable Translators of Logical Reasoning Across Lexically Diversified Contexts?Code0
Autoformalization of Game Descriptions using Large Language ModelsCode0
Satisfiability and Containment of Recursive SHACLCode0
CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought ReasoningCode0
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
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 1 of 2Next →

No leaderboard results yet.