Timon Gehr
7 papers
· 2018–2022
· 3 conferences
· across top CS/AI conferences
Achievements
π
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