Fast Geometric Projections for Local Robustness Certification.

Aymeric Fromherz Klas Leino Matt Fredrikson Bryan Parno Corina S. Pasareanu

Published in: CoRR (2020)

Keyphrases

three dimensional
high robustness
real time
databases
neural network
database systems
geometric constraints
geometric features
geometric information
iterative algorithms