Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Matthew Mirman"'
Autor:
Gabriel Reuben Smith, Carolina Bello, Lalasia Bialic-Murphy, Emily Clark, Camille S Delavaux, Camille Fournier de Lauriere, Johan van den Hoogen, Thomas Lauber, Haozhi Ma, Daniel S Maynard, Matthew Mirman, Lidong Mo, Dominic Rebindaine, Josephine Elena Reek, Leland K Werden, Zhaofei Wu, Gayoung Yang, Qingzhou Zhao, Constantin M Zohner, Thomas W Crowther
Publikováno v:
PLoS Computational Biology, Vol 20, Iss 1, p e1011767 (2024)
Externí odkaz:
https://doaj.org/article/950b208e159a40eea19c276e0173f782
Publikováno v:
PLDI
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Generative neural networks are powerful models capable of learning a wide range of rich semantic image transformations such as altering person's age, head orientation, adding mustache, changing the hair color and many more. At a high level, a generat
Autor:
Petar Tsankov, Matthew Mirman, Martin Vechev, Dana Drachsler-Cohen, Timon Gehr, Swarat Chaudhuri
Publikováno v:
2018 IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy
IEEE Symposium on Security and Privacy
We present AI2, the first sound and scalable analyzer for deep neural networks. Based on overapproximation, AI2 can automatically prove safety properties (e.g., robustness) of realistic neural networks (e.g., convolutional neural networks). The key i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dc054e21a63b8d72fc304ce448217e3