@misc{indiciae41dc4ce4b6ac,
  title = {Provable Preimage Under-Approximation for Neural Networks (Full Version)},
  author = {Xiyue Zhang and Benjie Wang and Marta Kwiatkowska},
  year = {2024},
  url = {https://arxiv.org/abs/2305.03686},
  note = {Source identifier: 2305.03686}
}