SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 73 papers

TitleStatusHype
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
RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order LogicCode0
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
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic—0
Logical Story Representations via FrameNet + Semantic Parsing—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
Show:102550
← PrevPage 2 of 3Next →

No leaderboard results yet.