Matthew Mirman
4 papers · 2018–2020 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (3) π Interdisciplinary Bridge π§ Keyword Pioneer π£ Hot Topic Early Bird π Cross-Pollinator (15)
π
Keyword Champion
(2)
Conferences
ICML (2)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
abstract interpretation
(2)
adversarial robustness
(2)
adversarial perturbation
(1)
neural network robustness
(1)
certifiable robustness
(1)
neural network
(1)
memory-augmented neural network
(1)
neural abstract machine
(1)
trace-based supervision
(1)
differential neural computational machine
(1)
formal verification
(1)