Fundamental Limits in Formal Verification of Message-Passing Neural Networks

Marco Sälzer, Martin Lange
2/12/2026
Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{slzer2026fundamental,
  title  = {Fundamental Limits in Formal Verification of Message-Passing Neural Networks},
  author = {Marco Sälzer and Martin Lange},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:e71a31fee2ba7db5232ef0bb00bb2afb1c8f870a},
  journal = {ICLR 2023 2023}
}

Discussion