TY  - RPRT
TI  - Limitations of Piecewise Linearity for Efficient Robustness Certification
AU  - Klas Leino
PY  - 2023
UR  - https://arxiv.org/abs/2301.08842
ID  - 2301.08842
ER  -