Holger Hermanns
3 papers
· 2024–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
Conferences
AAAI (2)
ACML (1)
Top co-authors
Keywords
contrastive learning
(1)
saliency map
(1)
entropy regularization
(1)
safety verification
(1)
concept bottleneck model
(1)
cross-attention mechanism
(1)
predicate abstraction
(1)
neural network policy
(1)
probabilistic verification
(1)
counterexample-guided abstraction refinement
(1)
semantic locality
(1)