Improve lean4 prompt - Githubissues

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

LLM verified with Monte Carlo Tree Search

https://arxiv.org/abs/2402.08147

MIT License

215 stars 26 forks source link

Closed johnjyang closed 8 months ago

johnjyang commented 8 months ago

namin commented 8 months ago

Thanks!