Fundamental Limits in Formal Verification of Message-Passing Neural Networks.

Marco Slzer, Martin Lange

Browse the full ICLR paper archive.