Sequential Planning on Cognaptus https://cognaptus.com/tags/sequential-planning/ Recent content in Sequential Planning on Cognaptus Hugo -- 0.145.0 en-us Sun, 04 May 2025 00:00:00 +0000 From Trees to Truths: Making MCTS Talk with Logic-Backed LLMs https://cognaptus.com/blog/2025-05-04-from-trees-to-truths-making-mcts-talk-with-logicbacked-llms/ Sun, 04 May 2025 00:00:00 +0000 https://cognaptus.com/blog/2025-05-04-from-trees-to-truths-making-mcts-talk-with-logicbacked-llms/ A practical reading of how CTL-guided LLMs can turn opaque MCTS planning traces into more factual, auditable explanations.