SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–73 of 73 papers

TitleStatusHype
Towards Unifying Logical Entailment and Statistical Estimation—0
Toward the Engineering of Virtuous Machines—0
Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach—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
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
Show:102550
← PrevPage 3 of 3Next →

No leaderboard results yet.