Search Results - RepositoryStats

27

262

mit

8

LLM verified with Monte Carlo Tree Search

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

Created 2023-11-11

919 commits to main branch, last one about a month ago

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

0

39

gpl-3.0

6

[FSE-2024] 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 7 months ago