search

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

Lean tweaks #6

Closed namin closed 8 months ago

namin commented 8 months ago

@johnjyang -- can you review?