TY  - RPRT
TI  - Towards Verified and Targeted Explanations through Formal Methods
AU  - Hanchen David Wang
AU  - Diego Manzanas Lopez
AU  - Preston K. Robinette
AU  - Ipek Oguz
AU  - Taylor T. Johnson
AU  - Meiyi Ma
PY  - 2026
UR  - https://arxiv.org/abs/2604.14209
ID  - 2604.14209
ER  -