Matthew Mirman
4 papers
· 2018–2020
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)