Login / Signup
PRIMA: general and precise neural network certification via scalable convex hull approximations.
Mark Niklas Müller
Gleb Makarchuk
Gagandeep Singh
Markus Püschel
Martin T. Vechev
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
convex hull
neural network
special case
convex polyhedra
mixed integer
multistage
feasible solution
convex sets
extreme points
machine learning
genetic algorithm
artificial neural networks
data points
training samples
linear inequalities
finite set of points