Author of the publication

Developing Bug-Free Machine Learning Systems With Formal Mathematics.

, , and . ICML, volume 70 of Proceedings of Machine Learning Research, page 3047-3056. PMLR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Explore then Execute: Adapting without Rewards via Factorized Meta-Reinforcement Learning., , , and . CoRR, (2020)An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators., and . ICML, volume 307 of ACM International Conference Proceeding Series, page 584-591. ACM, (2008)Distributionally robust neural networks for group shifts: On the importance of regularization for worst-case generalization, , , and . International Conference on Learning Representations (ICLR), (2020)Strategies for Pre-training Graph Neural Networks, , , , , , and . arXiv:1905.12265 cs, stat, (February 2020)arXiv: 1905.12265.Learning Adaptive Language Interfaces through Decomposition., , and . CoRR, (2020)FrAngel: component-based synthesis with control structures., , and . Proc. ACM Program. Lang., 3 (POPL): 73:1-73:29 (2019)Generating Sentences by Editing Prototypes., , , and . CoRR, (2017)Talking to computers in natural language.. ACM Crossroads, 21 (1): 18-21 (2014)Ambitious Data Science Can Be Painless., , , , , and . CoRR, (2019)Developing Bug-Free Machine Learning Systems With Formal Mathematics., , and . ICML, volume 70 of Proceedings of Machine Learning Research, page 3047-3056. PMLR, (2017)