@misc{indiciae784d021630a0,
  title = {Towards Verified and Targeted Explanations through Formal Methods},
  author = {Hanchen David Wang and Diego Manzanas Lopez and Preston K. Robinette and Ipek Oguz and Taylor T. Johnson and Meiyi Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2604.14209},
  note = {Source identifier: 2604.14209}
}