LLM Verified with Monte Carlo Tree Search

Open-source experiment that uses Monte Carlo Tree Search to guide an LLM toward programs that pass a verifier, checking partial programs at each step.