Combining LLMs with Logic-Based Framework to Explain MCTS

Ziyan An, Xia Wang, Hendrik Baier +6

In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural langu…