Jean-Baptiste Tristan

Verification of ML Systems via Reparameterization

2020 · arXiv (Cornell University)

As machine learning is increasingly used in essential systems, it is important to reduce or eliminate the incidence of serious bugs. A growing body of research has developed machine learning algorithms with formal guarantees about …