deductive-reasoning 开源项目推荐（29 个）

creusot-rs /creusot

Creusot帮助您证明您的Rust代码是正确的。

AeneasVerif /aeneas

Rust程序的验证工具链

sarsko /CreuSAT

CreuSAT——一个正式验证的SAT求解器，用Rust编写并通过Creusot验证。

jeffhj /LM-reasoning

该仓库汇集了关于大型语言模型推理的论文和资源。

TyGuS /suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

AllanBlanchard /tutoriel_wp

Frama-C and WP tutorial

urbanophile /awesome-sat-solvers

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

nyu-acsys /raven

An automated deductive program verifier based on concurrent separation logic

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

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

ZeinabAghahadi /Syllogistic-Commonsense-Reasoning

Deductive Commonsense Reasoning

INK-USC /RobustLR

A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners

Flunzmas /gym-autokey

An OpenAI gym environment for automated rule-based deductive program verification in KeY.

xavierpinho /VeryNaiveDatalog

Naive, bottom-up Datalog semantics, in about 200 lines

maximilliangeorge /prime-md

A machine-readable graph of truth claims, built on Git and Markdown

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

moaju0 /Vibe-Prolog

🎶 Explore Prolog coding with Vibe Prolog, a simple interpreter designed to run queries and demonstrate logic in programming efficiently.

Purva024 /Game1

A puzzle game made with HTML, CSS and JavaScript that challenges users to deduce correct combinations based on clues.