@misc{indiciaef79ec14c9fc1,
  title = {Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks},
  author = {Shahaf Bassan and Guy Katz},
  year = {2023},
  url = {https://arxiv.org/abs/2210.13915},
  note = {Source identifier: 2210.13915}
}