Author of the publication

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

Uncovering the Limits of Adversarial Training against Norm-Bounded Adversarial Examples., , , , and . CoRR, (2020)Solving math word problems with process- and outcome-based feedback., , , , , , , , and . CoRR, (2022)An Empirical Investigation of Learning from Biased Toxicity Labels., , and . CoRR, (2021)REALab: An Embedded Perspective on Tampering., , , , , and . CoRR, (2020)Scalable Verified Training for Provably Robust Image Classification., , , , , , , , and . ICCV, page 4841-4850. IEEE, (2019)Verifying Probabilistic Specifications with Functional Lagrangians., , , , , , , and . CoRR, (2021)Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications., , , , , , , and . NeurIPS, page 11136-11147. (2021)Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures., , , , , , , , and . CoRR, (2018)Verification of Non-Linear Specifications for Neural Networks., , , , , , , , and . ICLR (Poster), OpenReview.net, (2019)RobustFill: Neural Program Learning under Noisy I/O., , , , , and . ICML, volume 70 of Proceedings of Machine Learning Research, page 990-998. PMLR, (2017)