@misc{indiciae1981875471b5,
  title = {Faster Verified Explanations for Neural Networks},
  author = {Alessandro De Palma and Greta Dolcetti and Caterina Urban},
  year = {2026},
  url = {https://arxiv.org/abs/2512.00164},
  note = {Source identifier: 2512.00164}
}