Carnegie Mellon, Bosch Center for AI; RWTH Aachen; Carnegie Mellon; Google DeepMind; UIUC
Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang
Trustworthy ML;Formal Verification;Safe Control;OOD Detection
Provably Bounding Neural Network Preimages