Marco Sälzer
4 papers · 2023–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
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)
Papers
Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
ICLR 2025
Verifying Quantized Graph Neural Networks is PSPACE-complete
IJCAI 2025
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
IJCAI 2024
Fundamental Limits in Formal Verification of Message-Passing Neural Networks
ICLR 2023