Marco S\"alzer

Identifiers

• name variant Marco S\"alzer 0.60 · backfill

Papers (4)

1. The Complexity of Verifying Feedforward Neural Networks in Quantised Settings cs.CC · 2026 · author #3
2. The Polynomial Counting Capabilities of Message Passing Neural Networks cs.LG · 2026 · author #1
3. Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable cs.LO · 2025 · author #2
4. Reachability In Simple Neural Networks cs.CC · 2022 · author #1

Mentions

• 2605.29537 #3 · arxiv_oai · confidence 0.70 Marco S\"alzer

Frequent Coauthors

• Martin Lange 2 shared papers
• Anthony W. Lin 1 shared papers
• Artem Chernobrovkin 1 shared papers
• Eric Alsmann 1 shared papers
• Fran\c{c}ois Schwarzentruber 1 shared papers
• Nicolas Troquard 1 shared papers
• Pascal Bergstr\"a{\ss}er 1 shared papers