Timon Gehr

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

An abstract domain for certifying neural networks

Gagandeep Singh, Timon Gehr, Markus Püschel et al. · Proceedings of the ACM on Programming Languages · 2019 · 598 citations · Full text

Computing, Computer Engineering, Computer Science +15

Differentiable Abstract Interpretation for Provably Robust Neural Networks

Matthew Mirman, Timon Gehr, Martin Vechev · International Conference on Machine Learning · 2018 · 310 citations

Computing, Computer Science, Mathematics +12

Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman et al. · neural information processing systems · 2018 · 261 citations

Computing, Computer Engineering, Computer Science +10

Silq: a high-level quantum language with safe uncomputation and intuitive semantics

Benjamin Bichsel, Maximilian Baader, Timon Gehr et al. · 2020 · 146 citations

Computing, Computer Engineering, Computer Science +14