TY  - RPRT
TI  - LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
AU  - Mohamad Fares El Hajj Chehade
AU  - Wenting Li
AU  - Brian W. Bell
AU  - Russell Bent
AU  - Saif R. Kazi
AU  - Hao Zhu
PY  - 2025
UR  - https://arxiv.org/abs/2408.08824
ID  - 2408.08824
ER  -