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

LLM verified with Monte Carlo Tree Search
https://arxiv.org/abs/2402.08147
MIT License
252 stars 28 forks source link

add note about broken z3 #69

Closed shenniger closed 6 months ago