Patrick Henriksen
3 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)