Provably Bounding Neural Network Preimages - Kotha, Suhas; Brix, Christopher; Kolter, J. Zico; Dvijotham, Krishnamurthy; Zhang, Huan (Advances in Neural Information Processing Systems, 2023)