NeurIPS 2019-Thirty-third Conference on Neural Information Processing Systems NeurIPS 2019-Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada ML with guarantees--NeurIPS 2019 workshop ML with guarantees--NeurIPS 2019 workshop, Dec 2019, Vancouver, Canada Scopus-Elsevier