6 results found Sort:

creusot-rs
creusot creusot-rs
50
1.1k
lgpl-2.1
21
Creusot helps you prove your code is correct in an automated fashion.
rust why3 proof rust-lang verification formal-methods deductive-reasoning formal-verification
Created 2021-01-25
2,752 commits to master branch, last one 13 hours ago
sarsko
CreuSAT sarsko
12
611
mit
8
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
sat rust proof minisat rust-lang sat-solver verification formal-methods satisfiability automated-reasoning deductive-reasoning formal-verification
Created 2021-08-24
571 commits to master branch, last one 7 months ago
jeffhj
LM-reasoning jeffhj
34
541
mit
18
This repository contains a collection of papers and resources on Reasoning in Large Language Models.
llm gpt-3 chatgpt reasoning paper-list awesome-list language-models prompt-learning chain-of-thought language-modeling human-intelligence prompt-engineering deductive-reasoning in-context-learning large-language-models artificial-intelligence natural-language-processing
Created 2022-12-20
25 commits to main branch, last one about a year ago
AeneasVerif
aeneas AeneasVerif
15
189
apache-2.0
5
A verification toolchain for Rust programs
coq hol4 lean rust fstar ocaml proofs compiler rust-lang formal-methods deductive-reasoning formal-verification program-verification
Created 2021-11-02
2,473 commits to main branch, last one 20 hours ago
TyGuS
suslik TyGuS
20
125
other
11
Synthesis of Heap-Manipulating Programs from Separation Logic
smt scala hoare-logic separation-logic program-synthesis deductive-reasoning
Created 2017-08-22
1,308 commits to master branch, last one 2 years ago
AllanBlanchard
tutoriel_wp AllanBlanchard
16
55
other
6
Frama-C and WP tutorial
c frama-c formal-methods deductive-reasoning formal-verification formal-specification
Created 2017-02-03
543 commits to master branch, last one 4 days ago