LEVIS: Large Exact Verifiable Input Spaces for Neural Networks

M. Chehade, Wenting Li, Brian Wesley Bell, Russell Bent, Saif R. Kazi +1 more
2/14/2026

No confident code implementation found for this paper.

Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{chehade2026levis,
  title  = {LEVIS: Large Exact Verifiable Input Spaces for Neural Networks},
  author = {M. Chehade and Wenting Li and Brian Wesley Bell and Russell Bent and Saif R. Kazi and Hao Zhu},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:cba38b55d643d3802adecf8ee927f9e2a0bea742},
  journal = {ICML 2025 2025}
}

Discussion