@misc{indiciae06d8e5986275,
  title = {VeriX: Towards Verified Explainability of Deep Neural Networks},
  author = {Min Wu and Haoze Wu and Clark Barrett},
  year = {2023},
  url = {https://arxiv.org/abs/2212.01051},
  note = {Source identifier: 2212.01051}
}