VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2402.08147/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTVerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search — HN submissionhttps://news.ycombinator.com/item?id=39475580urn:hackerpapers:submission:2402.08147:39475580Fri, 23 Feb 2024 01:04:56 GMT<p>Show HN: Verified Multi-Step Synthesis Using LLMs and MCTS</p><p>3 months ago, I submitted a hack on using Monte Carlo Tree Search (MCTS) with an LLM guided by a program verifier: https://news.ycombinator.com/item?id=38235407 I just wanted to send this update, because we now have a paper that explains the hack in detail. We also show the use of verifiers with ChatGPT (implemented as actions within GPTs), and our method makes open models like Phind Code Llama competitive with ChatGPT augmented with verifier feedback and step by step instructions. Happy to answer any questions!</p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2402.08147/">Paper and source history</a>. A submission is not an endorsement.</p>cs.SE