Verification of ML Systems via Reparameterization.
Verification of ML Systems via Reparameterization.
Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee 0001
01 March 2020
Venue : CoRR
External Link: https://arxiv.org/abs/2007.06776