3 results found Sort:

namin
llm-verified-with-monte-carlo-tree-search namin
28
257
mit
8
LLM verified with Monte Carlo Tree Search
ai coq llm lean dafny synthesis verification monte-carlo-tree-search
Created 2023-11-11
916 commits to main branch, last one 3 days ago
uwplse
Casper uwplse
5
50
other
14
A compiler for automatically re-targeting sequential Java code to Apache Spark.
z3 java dafny spark compiler synthesis
Created 2016-07-25
127 commits to master branch, last one about a year ago
Mondego
dafny-synthesis Mondego
0
36
gpl-3.0
6
Towards AI-Assisted Synthesis of Verified Dafny Methods
llms dafny program-synthesis program-verification
Created 2023-06-07
83 commits to master branch, last one 6 months ago