SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–25 of 73 papers

TitleStatusHype
Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic CorpusCode2
Leveraging Rust types for modular specification and verificationCode2
Scaling Language Models: Methods, Analysis & Insights from Training GopherCode2
Bits and Pieces: Understanding Information Decomposition from Part-whole Relationships and Formal LogicCode1
Leveraging Large Language Models to Generate Answer Set ProgramsCode1
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
Training Step-Level Reasoning Verifiers with Formal Verification ToolsCode1
An Enactivist account of Mind Reading in Natural Language Understanding—0
Building Knowledge Graphs Towards a Global Food Systems Datahub—0
A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception—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
Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility—0
Boosting Deductive Reasoning with Step Signals In RLHF—0
DLOLIS-A: Description Logic based Text Ontology Learning—0
A Simple Generative Model of Logical Reasoning and Statistical Learning—0
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation—0
Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents—0
Differentiable Logics for Neural Network Training and Verification—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
Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs—0
Show:102550
← PrevPage 1 of 3Next →

No leaderboard results yet.