deductive-reasoning

There are 0 repository under deductive-reasoning topic.

creusot
creusot-rs / creusot
Creusot helps you prove your code is correct in an automated fashion.
rust-lang verification proof formal-verification deductive-reasoning why3 rust formal-methods
Language:Rust 1174
sarsko / CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
sat verification rust automated-reasoning deductive-reasoning formal-methods formal-verification minisat sat-solver satisfiability proof rust-lang
Language:Rust 620
jeffhj / LM-reasoning
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
artificial-intelligence awesome-list chain-of-thought chatgpt deductive-reasoning gpt-3 human-intelligence in-context-learning language-modeling language-models large-language-models llm natural-language-processing paper-list prompt-engineering prompt-learning reasoning
546
AeneasVerif / aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml proofs rust rust-lang program-verification
Language:OCaml 220
TyGuS / suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
separation-logic program-synthesis scala smt hoare-logic deductive-reasoning
Language:Scala 126
AllanBlanchard / tutoriel_wp
Frama-C and WP tutorial
frama-c formal-methods formal-verification formal-specification c deductive-reasoning
Language:TeX 55
jfeser / castor
Deductive synthesis and compilation of specialized databases.
compiler database deductive-reasoning program-synthesis
Language:OCaml 12
Strong-AI-Lab / A-Neural-Symbolic-Paradigm
From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
deductive-reasoning deep-learning gate-attention multi-step-reasoning natural-language-processing neural-symbolic-paradigm soft-reasoning symbolic-logic-reasoning transformer
Language:Python 10
INK-USC / RobustLR
A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners
deductive-reasoning deep-learning language-model nlp reasoning robustness
Language:Python 8
nyu-acsys / raven
An automated deductive program verifier based on concurrent separation logic
automated-reasoning concurrency concurrent-data-structure concurrent-programming deductive-reasoning separation-logic verification intermediate-verification-languages
Language:OCaml 8
Flunzmas / gym-autokey
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
verification gym-environment deductive-reasoning reinforcement-learning reinforcement-learning-environments openai-gym formal-verification formal-methods program-verification
Language:Java 7
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
deductive-reasoning gate-attention multi-step-reasoning out-of-distribution-generalisation
Language:Python 7
ZeinabAghahadi / Syllogistic-Commonsense-Reasoning
Deductive Commonsense Reasoning
natural-language-processing natural-language-generation bert-fine-tuning gpt-2 deductive-reasoning syllogism commonsense-reasoning xlnet annotation-artifacts
Language:Jupyter Notebook 6
xavierpinho / VeryNaiveDatalog
Naive, bottom-up Datalog semantics, in about 200 lines
datalog datalog-engine deductive-database-system deductive-reasoning logic-programming
Language:C# 4
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
datalog datalog-engine compiler deduction-system deductive-reasoning
Language:Python 3
urbanophile / awesome-sat-solvers
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
automate-reasoning awesome awesome-list optimization sat sat-solver deductive-reasoning formal-methods logic smt
3
dmitrykazhdan / Part-II-Project
Deduction Rules for Ontology Reasoning
ontology reasoning deductive-reasoning ontology-repository
Language:Java 2
TrungLuong1194 / expert-system
breadth-first-search deductive-reasoning unification-algorithm
Language:Python 2
sigpwned / horn4j
A simple library for performing logical reasoning with Horn clauses for Java 11+
horn-clauses java java-11 deductive-reasoning logical-inference abductive-reasoning
Language:Java