Timon Gehr
7 papers · 2018–2022 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Cross-Pollinator (15) π Conference Polyglot (3) π Interdisciplinary Bridge π§ Keyword Pioneer π£ Hot Topic Early Bird
π
Triple Crown
π
Trend Setter
Conferences
ICML (3)
ICLR (2)
NIPS (2)
Top co-authors
Keywords
adversarial robustness
(3)
abstract interpretation
(2)
neural network
(2)
neural network robustness
(2)
formal verification
(2)
geometric transformation
(1)
certifiable robustness
(1)
logical constraint
(1)
linear relaxation
(1)
memory-augmented neural network
(1)
neural abstract machine
(1)
trace-based supervision
(1)
differential neural computational machine
(1)
semi-supervised learning
(1)
certification method
(1)
computer vision
(1)
gradient-based method
(1)
domain knowledge
(1)
adversarial perturbation
(1)
Papers
Provably Robust Adversarial Examples
ICLR 2022
Certifying Geometric Robustness of Neural Networks
NIPS 2019
Boosting Robustness Certification of Neural Networks
ICLR 2019
DL2: Training and Querying Neural Networks with Logic
ICML 2019
Fast and Effective Robustness Certification
NIPS 2018
Training Neural Machines with Trace-Based Supervision
ICML 2018
Differentiable Abstract Interpretation for Provably Robust Neural Networks
ICML 2018