Patrick Henriksen
3 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(13)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
symbolic interval propagation
(2)
neural network verification
(2)
linear programming
(1)
interval bound propagation
(1)
relu network
(1)
robust training
(1)
bound propagation
(1)
bias field
(1)
relu node
(1)
complete verification
(1)
certified robustness
(1)
symbolic bounding
(1)
formal verification
(1)