Search Results - RepositoryStats

creusot creusot-rs

50

1.2k

lgpl-2.1

19

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,977 commits to master branch, last one 2 days ago

CreuSAT sarsko

12

619

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 8 months ago

LM-reasoning jeffhj

34

546

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

15

219

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,684 commits to main branch, last one 3 days ago

suslik TyGuS

20

126

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

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

545 commits to master branch, last one about a month ago