Search Results - RepositoryStats

49

1.1k

lgpl-2.1

23

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

10

596

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

31

508

mit

16

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

14

158

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,389 commits to main branch, last one a day ago

20

121

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