@misc{indiciaef7eea8a6922e,
  title = {Efficient Preimage Approximation for Neural Network Certification},
  author = {Anton Björklund and Mykola Zaitsev and Paolo Morettin and Marta Kwiatkowska},
  year = {2026},
  url = {https://arxiv.org/abs/2505.22798},
  note = {Source identifier: 2505.22798}
}