Timon Gehr
7 papers · 2018–2022 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (11) 🐣 Hot Topic Early Bird 👑 Triple Crown
📈
Trend Setter
Venues
Top co-authors
Research topics
Deep Learning
(6)
Artificial Intelligence
(3)
Machine Learning
(3)
Architectures
(3)
Core AI · Artificial Intelligence
(3)
Techniques
(3)
Learning Types
(2)
Optimization & Theory · Machine Learning
(2)
Computer Vision
(1)
Analysis
(1)
Core AI · Computer Vision
(1)
Optimization & Theory · Deep Learning
(1)
Keywords
adversarial robustness
(3)
neural network
(3)
abstract interpretation
(2)
formal verification
(2)
neural network robustness
(2)
adversarial perturbation
(2)
domain knowledge
(1)
adversarial attack
(1)
randomized smoothing
(1)
robustness certification
(1)
neural network verification
(1)
adversarial example
(1)
geometric transformation
(1)
certifiable robustness
(1)
piecewise linear activation
(1)
logical constraint
(1)
linear relaxation
(1)
memory-augmented neural network
(1)
neural abstract machine
(1)
trace-based supervision
(1)
Papers
Provably Robust Adversarial Examples
ICLR 2022
Boosting Robustness Certification of Neural Networks
ICLR 2019
Certifying Geometric Robustness of Neural Networks
NeurIPS 2019
DL2: Training and Querying Neural Networks with Logic
ICML 2019
Differentiable Abstract Interpretation for Provably Robust Neural Networks
ICML 2018
Fast and Effective Robustness Certification
NeurIPS 2018
Training Neural Machines with Trace-Based Supervision
ICML 2018