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