Login / Signup

Limitations of Piecewise Linearity for Efficient Robustness Certification.

Klas Leino
Published in: CoRR (2023)
Keyphrases
  • computational efficiency
  • multiresolution
  • cost effective
  • third party
  • real world
  • database systems
  • computationally expensive