( en | de | ru )

 

Disambiguation of "Gehr, Timon"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Nuala Patricia Timoney

Ulla Timonen

Timon Stork

Emmo Gehr

Christine Gehr

 

Other publications of authors with the same name

Learning Commutativity Specifications., , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 307-323. Springer, (2015)Certifying Geometric Robustness of Neural Networks., , , , and . NeurIPS, page 15287-15297. (2019)Fast and Effective Robustness Certification., , , , and . NeurIPS, page 10825-10836. (2018)Robustness Certification of Generative Models., , and . CoRR, (2020)Incremental inference for probabilistic programs., , , , and . PLDI, page 571-585. ACM, (2018)Synthesis of Probabilistic Privacy Enforcement., , , , and . CCS, page 391-408. ACM, (2017)Symbolic Methods for Machine Intelligence.. ETH Zurich, Zürich, Switzerland, (2022)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/539405).Boosting Robustness Certification of Neural Networks., , , and . ICLR (Poster), OpenReview.net, (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)DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization., , , , and . ACM Conference on Computer and Communications Security, page 508-524. ACM, (2018)