Provably Bounding Neural Network Preimages
Suhas Kotha1, Christopher Brix2, Zico Kolter1,4, Krishnamurthy (Dj) Dvijotham3, Huan Zhang1
1 Carnegie Mellon University, Pittsburgh PA, USA
2 RWTH Aachen University, Aachen, Germany
3 Google Research, Brain Team
4 Bosch Center for AI
Abstract Submitted: 14.04.2023
Accepted: 22.04.2023
Presented at the DataNinja Spring School 2023 Poster Session: 09.05.2023
Published online: 20.06.2023
Licence: Copyright (c) 2023 The Authors
This work is licensed under a Creative Commons Attribution 4.0 International License.