Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic

15 July 2024

Papers citing "Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic"

4 / 4 papers shown

Title
Combining LLMs with Logic-Based Framework to Explain MCTS Ziyan An Xia Wang Hendrik Baier Zirong Chen A. Dubey Taylor T. Johnson Jonathan Sprinkle Ayan Mukhopadhyay Meiyi Ma 26 1 0 01 May 2025
RuAG: Learned-rule-augmented Generation for Large Language Models Yudi Zhang Pei Xiao Lu Wang C. Zhang Meng Fang ... Qingwei Lin Mykola Pechenizkiy Dongmei Zhang Saravan Rajmohan Qi Zhang LRM 38 0 0 04 Nov 2024
Algorithmic Concept-based Explainable Reasoning Dobrik Georgiev Pietro Barbiero Dmitry Kazhdan Petar Velivcković Pietro Lió 61 16 0 15 Jul 2021
Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Inscrutable Representations S. Sreedharan Utkarsh Soni Mudit Verma Siddharth Srivastava S. Kambhampati 61 29 0 04 Feb 2020