Open Issues Need Help
View All on GitHub improve induction sketcher about 2 months ago
enhancement good first issue
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 2 months ago
enhancement good first issue
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 2 months ago
enhancement good first issue
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