improve dafny script - Githubissues

namin / llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

https://arxiv.org/abs/2402.08147

MIT License

210 stars 25 forks source link

improve dafny script #70

Closed shenniger closed 1 month ago