Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification.

Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck

Browse the full CPAIOR paper archive.