TY  - RPRT
TI  - On the Paradox of Certified Training
AU  - Nikola Jovanović
AU  - Mislav Balunović
AU  - Maximilian Baader
AU  - Martin Vechev
PY  - 2022
UR  - https://arxiv.org/abs/2102.06700
ID  - 2102.06700
ER  -