( en | de | ru )

 

Disambiguation of "Mirman, Matthew"

Author of the publication

copydeleteadd this publication to your clipboard
Universal Approximation with Certified Networks.

, , and . ICLR, OpenReview.net, (2020)

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.

Matthew Mellon

Matthew David

Matthew Grum

Matthew The

Matthew Pugh

 

Other publications of authors with the same name

Differentiable Abstract Interpretation for Provably Robust Neural Networks., , and . ICML, volume 80 of Proceedings of Machine Learning Research, page 3575-3583. PMLR, (2018)Robustness Certification of Generative Models., , and . CoRR, (2020)AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation., , , , , and . IEEE Symposium on Security and Privacy, page 3-18. IEEE Computer Society, (2018)Certified Deep Learning: Verification and Training.. ETH Zurich, Zürich, Switzerland, (2022)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/552777).Universal Approximation with Certified Networks., , and . ICLR, OpenReview.net, (2020)Fast and Effective Robustness Certification., , , , and . NeurIPS, page 10825-10836. (2018)Robustness certification with generative models., , , , and . PLDI, page 1141-1154. ACM, (2021)Training Neural Machines with Trace-Based Supervision., , , , and . ICML, volume 80 of Proceedings of Machine Learning Research, page 3566-3574. PMLR, (2018)