GeneralCuttingPlanesforBound-Propagation-Based NeuralNetworkVerification
–Neural Information Processing Systems
In this paper,wegeneralize thebound propagation procedure toallowtheaddition of arbitrary cutting plane constraints, including those involving relaxed integer variables that do not appear in existing bound propagation formulations.
Neural Information Processing Systems
Feb-7-2026, 09:56:00 GMT
- Country:
- North America > United States
- Illinois (0.04)
- Pennsylvania > Allegheny County
- Pittsburgh (0.04)
- North America > United States
- Technology: