From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners
Okami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database
L-DAG: A Breakthrough Deductive Reasoning Algorithm That Solves What GPT-4o, Claude 4, and Gemini 2.5 Pro Cannot
Add a description, image, and links to the deductive-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the deductive-reasoning topic, visit your repo's landing page and select "manage topics."