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
- Resource-efficient Machine Learning in 2 KB RAM for the Internet of Things
  
  Ashish Kumar, Saurabh Goyal, Manik Varma
  
  ICML 2017 | May 2017
  
  PDF Project 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
- Resource-efficient Machine Learning in 2 KB RAM for the Internet of Things
  
  Ashish Kumar, Saurabh Goyal, Manik Varma
  
  ICML 2017 | May 2017
  
  PDF Project 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
- Resource-efficient Machine Learning in 2 KB RAM for the Internet of Things
  
  Ashish Kumar, Saurabh Goyal, Manik Varma
  
  ICML 2017 | May 2017
  
  PDF Project Project