Search Results - RepositoryStats

2 results found Sort:

208

mit

LLM verified with Monte Carlo Tree Search

ai coq llm lean dafny synthesis monte-carlo-tree-search

Created 2023-11-11

815 commits to main branch, last one 3 days ago

gpl-3.0

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 21 days ago