GitHub topics: deductive-reasoning
creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
Language: Rust - Size: 67 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,256 - Forks: 57
nyu-acsys/raven
An automated deductive program verifier based on concurrent separation logic
Language: OCaml - Size: 8.17 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 14 - Forks: 1
AeneasVerif/aeneas
A verification toolchain for Rust programs
Language: OCaml - Size: 8.55 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 257 - Forks: 24
jeffhj/LM-reasoning
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
Size: 99.6 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 564 - Forks: 35
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Language: Rust - Size: 169 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 637 - Forks: 12
AllanBlanchard/tutoriel_wp
Frama-C and WP tutorial
Language: TeX - Size: 10.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 58 - Forks: 18
urbanophile/awesome-sat-solvers
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
Size: 144 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0
PSS1998/MicroViper-Verifier
A deductive program verification tool for MicroViper programming language
Language: Rust - Size: 94.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
sigpwned/horn4j
A simple library for performing logical reasoning with Horn clauses for Java 11+
Language: Java - Size: 60.5 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
xavierpinho/VeryNaiveDatalog
Naive, bottom-up Datalog semantics, in about 200 lines
Language: C# - Size: 12.7 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2
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
Language: Python - Size: 10.2 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Language: Scala - Size: 8.07 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 121 - Forks: 19
Flunzmas/gym-autokey
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
Language: Java - Size: 41.1 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 0
Strong-AI-Lab/A-Neural-Symbolic-Paradigm
From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
Language: Python - Size: 650 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 10 - Forks: 1
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
Language: Python - Size: 364 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 3 - Forks: 1
TrungLuong1194/expert-system
Language: Python - Size: 42 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
ZeinabAghahadi/Syllogistic-Commonsense-Reasoning
Deductive Commonsense Reasoning
Language: Jupyter Notebook - Size: 1.7 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
jfeser/castor
Deductive synthesis and compilation of specialized databases.
Language: OCaml - Size: 28.8 MB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 1
INK-USC/RobustLR
A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners
Language: Python - Size: 1.06 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2
dmitrykazhdan/Part-II-Project
Deduction Rules for Ontology Reasoning
Language: Java - Size: 26.2 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
