( en | de | ru )

 

Disambiguation of "Mirman, Matthew"

Author of the publication

copydeleteadd this publication to your clipboard
Robustness Certification of Generative Models

, , and . (2020)cite arxiv:2004.14756Comment: Prior version submitted to ICLR 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

Olumuyiwa Matthew

Peter Matthew

Matthew Grum

 

Other publications of authors with the same name

Universal Approximation with Certified Networks., , and . CoRR, (2019)Differentiable Abstract Interpretation for Provably Robust Neural Networks., , and . ICML, volume 80 of Proceedings of Machine Learning Research, page 3575-3583. PMLR, (2018)Ten simple rules for using large language models in science, version 1.0., , , , , , , , , and 10 other author(s). PLoS Comput. Biol., (January 2024)Robustness Certification of Generative Models., , and . CoRR, (2020)Online Robustness Training for Deep Reinforcement Learning., , , and . CoRR, (2019)A Provable Defense for Deep Residual Networks., , and . CoRR, (2019)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)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)LLM Guided Inductive Inference for Solving Compositional Problems., , and . CoRR, (2023)