@article{levislargeexactverifiableinputspacesfor,
  title = {LEVIS: Large Exact Verifiable Input Spaces for Neural Networks},
  author = {Mohamad Fares El Hajj Chehade and Brian Wesley Bell and Russell Bent and Hao Zhu and Wenting Li},
  year = {2024},
  eprint = {2408.08824},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2408.08824v1},
}