Marco Sälzer
4 papers · 2023–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
Keywords
formal verification
(3)
neural network verification
(3)
graph neural network
(2)
satisfiability problem
(2)
activation function
(1)
message passing neural network
(1)
quantized neural network
(1)
transformer encoder
(1)
modal logic
(1)
logical expressiveness
(1)
counting modality
(1)
quantized graph neural network
(1)
complexity theory
(1)
pspace completeness
(1)
aggregate-combine gnn
(1)
adversarial robustness
(1)
output reachability
(1)
attention mechanism
(1)
complexity analysis
(1)
linear constraint
(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