Takip et
Timon Gehr
Timon Gehr
inf.ethz.ch üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
9452018
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
6942019
Differentiable abstract interpretation for provably robust neural networks
M Mirman, T Gehr, M Vechev
International Conference on Machine Learning, 3578-3586, 2018
5462018
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in neural information processing systems 31, 2018
5322018
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International conference on learning representations, 2018
214*2018
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
1652019
PSI: Exact Symbolic Inference for Probabilistic Programs
T Gehr, S Misailovic, M Vechev
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
1612016
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
1292020
Certifying geometric robustness of neural networks
M Balunovic, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems 32, 2019
1182019
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
662018
Learning commutativity specifications
T Gehr, D Dimitrov, M Vechev
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
472015
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
452020
λ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
282020
Fine-grained semantics for probabilistic programs
B Bichsel, T Gehr, M Vechev
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
272018
Robustness certification with generative models
M Mirman, A Hägele, P Bielik, T Gehr, M Vechev
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
242021
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
232018
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
212017
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
202018
Provably robust adversarial examples
DI Dimitrov, G Singh, T Gehr, M Vechev
arXiv preprint arXiv:2007.12133, 2020
82020
Training Neural Machines with Partial Traces
M Mirman, D Dimitrov, P Djordjevich, T Gehr, M Vechev
3*2018
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20