Open Issues Need Help
View All on GitHub improve induction sketcher 3 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 3 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 3 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