SOTAVerified

Formal Logic

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 26–50 of 73 papers

TitleStatusHype
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 2 of 3Next →

No leaderboard results yet.