Fast Geometric Projections for Local Robustness Certification.
Aymeric FromherzKlas LeinoMatt FredriksonBryan ParnoCorina S. PasareanuPublished in: ICLR (2021)
Keyphrases
- high robustness
- computational efficiency
- real time
- geometrical properties
- geometric constraints
- third party
- three dimensional
- coordinate ascent
- digital images
- discrete tomography
- information systems
- data sets
- geometric structure
- radon transform
- tomographic reconstruction
- geometric and photometric transformations
- database systems
- database
- geometric models
- iterative algorithms
- geometric transformations
- geometric information
- artificial intelligence
- computer graphics
- medical images
- d objects
- multiscale