TY  - RPRT
TI  - PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations
AU  - Mark Niklas Müller
AU  - Gleb Makarchuk
AU  - Gagandeep Singh
AU  - Markus Püschel
AU  - Martin Vechev
PY  - 2022
DO  - 10.1145/3498704
UR  - https://arxiv.org/abs/2103.03638
ID  - 2103.03638
ER  -