Search Results - RepositoryStats

creusot creusot-rs

57

1.2k

lgpl-2.1

18

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

3,366 commits to master branch, last one a day ago

CreuSAT sarsko

12

636

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 about a year ago

LM-reasoning jeffhj

34

563

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

aeneas AeneasVerif

24

255

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

3,171 commits to main branch, last one a day ago

suslik TyGuS

20

125

other

10

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 3 years ago

tutoriel_wp AllanBlanchard

18

59

other

5

Frama-C and WP tutorial

c frama-c formal-methods deductive-reasoning formal-verification formal-specification

Created 2017-02-03

554 commits to master branch, last one 17 days ago