| namin/llm-verified-with-monte-carlo-tree-search |
143 |
|
0 |
0 |
about 2 years ago |
0 |
|
0 |
mit |
Python |
| LLM verified with Monte Carlo Tree Search |
| mit-plv/fiat |
141 |
|
0 |
0 |
over 2 years ago |
0 |
|
1 |
other |
Coq |
| Mostly Automated Synthesis of Correct-by-Construction Programs |
| ymherklotz/vericert |
73 |
|
0 |
0 |
about 2 years ago |
0 |
|
4 |
gpl-3.0 |
Coq |
| A formally verified high-level synthesis tool based on CompCert and written in Coq. |
| JBakouny/Scallina |
73 |
|
0 |
0 |
almost 4 years ago |
0 |
|
1 |
gpl-3.0 |
Scala |
| A Coq-based synthesis of Scala programs which are correct-by-construction |
| IBM/FormalML |
60 |
|
0 |
0 |
about 2 years ago |
0 |
|
1 |
apache-2.0 |
Coq |
| Formalization of Machine Learning Theory with Applications to Program Synthesis |
| TyGuS/ssl-htt |
7 |
|
0 |
0 |
almost 5 years ago |
0 |
|
0 |
|
Coq |
| Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory. |
