@misc{indiciae4a3d3cca7c86,
  title = {LEVIS: Large Exact Verifiable Input Spaces for Neural Networks},
  author = {Mohamad Fares El Hajj Chehade and Wenting Li and Brian W. Bell and Russell Bent and Saif R. Kazi and Hao Zhu},
  year = {2025},
  url = {https://arxiv.org/abs/2408.08824},
  note = {Source identifier: 2408.08824}
}