Framework uses LLMs to map natural-language questions about MCTS to explanations based on tree statistics like visit counts and values, without hand-crafted formal logic.
Logiex: Integrating formal logic and llms for explainable transit planning, 2026
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.HC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Toward Template-Free Explainability for Monte Carlo Tree Search
Framework uses LLMs to map natural-language questions about MCTS to explanations based on tree statistics like visit counts and values, without hand-crafted formal logic.