Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for synthesis coq
coq
x
synthesis
x
6 search results found
Llm Verified With Monte Carlo Tree Search
⭐
143
LLM verified with Monte Carlo Tree Search
Fiat
⭐
141
Mostly Automated Synthesis of Correct-by-Construction Programs
Scallina
⭐
73
A Coq-based synthesis of Scala programs which are correct-by-construction
Vericert
⭐
73
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Formalml
⭐
60
Formalization of Machine Learning Theory with Applications to Program Synthesis
Ssl Htt
⭐
7
Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.
Related Searches
Python Synthesis (769)
Ocaml Coq (164)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
Coq Mathcomp (38)
Paper Coq (36)
Html Coq (32)
Coq Type Theory (32)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.