Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle
arXiv:2608.30581v1 Announce Type: new Abstract: Large language models (LLMs) are used as post hoc explainers of sequential decision-making policies, producing natural-language explanations of why an a