2 results found Sort:

namin
llm-verified-with-monte-carlo-tree-search namin
28
249
mit
8
LLM verified with Monte Carlo Tree Search
ai coq llm lean dafny synthesis verification monte-carlo-tree-search
Created 2023-11-11
912 commits to main branch, last one 2 months ago
Mondego
dafny-synthesis Mondego
0
32
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 5 months ago