Marco Sälzer
4 papers
· 2023–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(12)
Conferences
ICLR (2)
IJCAI (2)
Top co-authors
Keywords
graph neural network
(2)
complexity analysis
(1)
satisfiability problem
(1)
linear constraint
(1)
neural network verification
(1)
activation function
(1)
quantized neural network
(1)
modal logic
(1)
logical expressiveness
(1)
counting modality
(1)
quantized graph neural network
(1)
pspace completeness
(1)
formal verification
(1)
aggregate-combine gnn
(1)