Show HN: LLM Verified with Monte Carlo Tree Search https://ift.tt/loAnceN

Show HN: LLM Verified with Monte Carlo Tree Search This is a weekend hack that I'd like to further develop as it's working surprisingly well. Using MCTS, we can explore a space of possible verified programs with an LLM. We check the partial programs at each step, and so steer towards programs that pass the verifier. https://ift.tt/z4cENsa... https://ift.tt/8TfrVYb November 11, 2023 at 11:52PM