Timon Gehr
ETH Zurich(CH)
Publications by Year
Research Areas
Adversarial Robustness in Machine Learning, Machine Learning and Algorithms, Bayesian Modeling and Causal Inference, Quantum Computing Algorithms and Architecture, Quantum Information and Cryptography
Most-Cited Works
- → AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation(2018)801 cited
- → An abstract domain for certifying neural networks(2019)589 cited
- Differentiable Abstract Interpretation for Provably Robust Neural Networks(2018)
- Fast and Effective Robustness Certification(2018)
- → PSI: Exact Symbolic Inference for Probabilistic Programs(2016)157 cited
- → Silq: a high-level quantum language with safe uncomputation and intuitive semantics(2020)137 cited
- Boosting Robustness Certification of Neural Networks.(2019)
- DL2: Training and Querying Neural Networks with Logic.(2019)
- → Certifying Geometric Robustness of Neural Networks(2020)61 cited
- → DP-Finder(2018)56 cited