@misc{indiciaefed35e5ab966,
  title = {Verification of ML Systems via Reparameterization},
  author = {Jean-Baptiste Tristan and Joseph Tassarotti and Koundinya Vajjha and Michael L. Wick and Anindya Banerjee},
  year = {2020},
  url = {https://arxiv.org/abs/2007.06776},
  note = {Source identifier: 2007.06776}
}