TY  - RPRT
TI  - Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle
AU  - Dennis Gross
AU  - Helge Spieker
PY  - 2026
UR  - https://arxiv.org/abs/2608.30581
ID  - 2608.30581
ER  -