TY - CONF AU - Kotha, Suhas AU - Brix, Christopher Jan-Steffen AU - Kolter, Zico AU - Dvijotham, Krishnamurthy (Dj) AU - Zhang, Huan TI - Provably Bounding Neural Network Preimages VL - 36 CY - [Erscheinungsort nicht ermittelbar] PB - [Verlag nicht ermittelbar] M1 - RWTH-2024-08575 T2 - Advances in neural information processing systems SP - [1]-21 PY - 2023 N1 - Autoren Kotha, Suhas und Brix, Christopher Jan-Steffen: Equal contribution T2 - 37. Conference on Neural Information Processing Systems CY - 10 Dec 2023 - 16 Dec 2023, New Orleans, LA (USA) Y2 - 10 Dec 2023 - 16 Dec 2023 M2 - New Orleans, LA, USA LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001228825100024 UR - https://publications.rwth-aachen.de/record/993058 ER -