Timon Gehr
Timon Gehr
E-mail confirmado em inf.ethz.ch - Página inicial
Título
Citado por
Citado por
Ano
Ai2: Safety and robustness certification of neural networks with abstract interpretation
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
2018 IEEE Symposium on Security and Privacy (SP), 3-18, 2018
2942018
Differentiable abstract interpretation for provably robust neural networks
M Mirman, T Gehr, M Vechev
International Conference on Machine Learning, 3578-3586, 2018
1792018
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in Neural Information Processing Systems, 10802-10813, 2018
1202018
An abstract domain for certifying neural networks
G Singh, T Gehr, M Püschel, M Vechev
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
1072019
PSI: Exact Symbolic Inference for Probabilistic Programs
T Gehr, S Misailovic, M Vechev
International Conference on Computer Aided Verification, 62-83, 2016
712016
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2018
402018
Learning commutativity specifications
T Gehr, D Dimitrov, M Vechev
International Conference on Computer Aided Verification, 307-323, 2015
282015
Dl2: Training and querying neural networks with logic
M Fischer, M Balunovic, D Drachsler-Cohen, T Gehr, C Zhang, M Vechev
International Conference on Machine Learning, 1931-1941, 2019
222019
Certifying geometric robustness of neural networks
M Balunovic, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems, 15313-15323, 2019
172019
Dp-finder: Finding differential privacy violations by sampling and optimization
B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
172018
Fine-grained semantics for probabilistic programs
B Bichsel, T Gehr, M Vechev
European Symposium on Programming, 145-185, 2018
152018
Incremental inference for probabilistic programs
M Cusumano-Towner, B Bichsel, T Gehr, M Vechev, VK Mansinghka
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
112018
Robustness certification with refinement
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2019
102019
Bayonet: probabilistic inference for networks
T Gehr, S Misailovic, P Tsankov, L Vanbever, P Wiesmann, M Vechev
ACM SIGPLAN Notices 53 (4), 586-602, 2018
82018
Synthesis of probabilistic privacy enforcement
M Kučera, P Tsankov, T Gehr, M Guarnieri, M Vechev
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
82017
An abstract domain for certifying neural networks. PACMPL 3 (POPL), 41: 1–41: 30 (2019)
G Singh, T Gehr, M Püschel, MT Vechev
5
Silq: a high-level quantum language with safe uncomputation and intuitive semantics
B Bichsel, M Baader, T Gehr, M Vechev
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
32020
Robustness certification of generative models
M Mirman, T Gehr, M Vechev
arXiv preprint arXiv:2004.14756, 2020
22020
λPSI: exact inference for higher-order probabilistic programs
T Gehr, S Steffen, M Vechev
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
12020
Probabilistic Verification of Network Configurations
S Steffen, T Gehr, P Tsankov, L Vanbever, M Vechev
Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020
2020
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20