PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations

Published in POPL, 2022

Recommended citation: Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2022. /files/PRIMA.pdf