TY  - RPRT
TI  - Verification of ML Systems via Reparameterization
AU  - Jean-Baptiste Tristan
AU  - Joseph Tassarotti
AU  - Koundinya Vajjha
AU  - Michael L. Wick
AU  - Anindya Banerjee
PY  - 2020
UR  - https://arxiv.org/abs/2007.06776
ID  - 2007.06776
ER  -