From Trees to Truths: Making MCTS Talk with Logic-Backed LLMs
TL;DR for operators If your optimisation system can choose the route, assign the vehicle, or schedule the job but cannot explain why, the obvious temptation is to bolt on a chatbot and call the matter solved. That is also how one gets fluent nonsense with a user interface. The paper behind this article proposes a better pattern: let the LLM translate a user’s question into formal variables and logic, evaluate those variables against the actual Monte Carlo Tree Search tree, retrieve domain knowledge only when the question calls for it, and then generate the final natural-language explanation.1 The LLM is still useful, but it is no longer allowed to improvise the evidence. A small mercy, really. ...