deductive-reasoning
There are 19 repositories under deductive-reasoning topic.
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
jeffhj/LM-reasoning
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
AeneasVerif/aeneas
A verification toolchain for Rust programs
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
AllanBlanchard/tutoriel_wp
Frama-C and WP tutorial
jfeser/castor
Deductive synthesis and compilation of specialized databases.
Strong-AI-Lab/A-Neural-Symbolic-Paradigm
From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
INK-USC/RobustLR
A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners
nyu-acsys/raven
An automated deductive program verifier based on concurrent separation logic
Strong-AI-Lab/Multi-Step-Deductive-Reasoning-Over-Natural-Language
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
Flunzmas/gym-autokey
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
ZeinabAghahadi/Syllogistic-Commonsense-Reasoning
Deductive Commonsense Reasoning
urbanophile/awesome-sat-solvers
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
xavierpinho/VeryNaiveDatalog
Naive, bottom-up Datalog semantics, in about 200 lines
Nan-Do/okami
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
dmitrykazhdan/Part-II-Project
Deduction Rules for Ontology Reasoning
sigpwned/horn4j
A simple library for performing logical reasoning with Horn clauses for Java 11+