August 6, 2017 - August 11, 2017

Microsoft Research @ ICML 2017

Location: Sydney, Australia

Publications

View by:

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project
Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project
Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project

Developing Bug-Free Machine Learning Systems with Formal Mathematics

Daniel Selsam, Percy Liang, David L. Dill

ICML 2017 | July 2017

PDF Publication Github Project