llm-verified-with-monte-carlo-tree-search
该项目通过蒙特卡洛树搜索(MCTS)生成并验证代码,每步调用验证器确保正确性。支持Dafny、Coq、Lean、Scala和Rust语言,可使较弱模型与强模型竞争。项目需GPU支持,提供详细的设置和运行指南,包括交互模式和特定语言配置。