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. https://dl.acm.org/doi/10.1145/3498704