Open Issues Need Help
View All on GitHub improve induction sketcher about 1 year ago
enhancement good first issue
namin/dafny-sketcher namin/dafny-sketcher piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Open project →
12
piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Dafny
#dafny#llm#mcp#monte-carlo-tree-search#proofsketcher#verification
add a sketcher that “minimizes” a proof, maybe by brute-forcing which statements are necessary about 1 year ago
enhancement good first issue
namin/dafny-sketcher namin/dafny-sketcher piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Open project →
12
piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Dafny
#dafny#llm#mcp#monte-carlo-tree-search#proofsketcher#verification
add optional huggingface support in vfp/llm.py about 1 year ago
enhancement good first issue
namin/dafny-sketcher namin/dafny-sketcher piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Open project →
12
piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning
Dafny
#dafny#llm#mcp#monte-carlo-tree-search#proofsketcher#verification