@inproceedings{orp_iclr23,
title = {Fundamental Limits in Formal Verification of Message-Passing Neural Networks},
author = {Marco S{\"a}lzer and Martin Lange},
booktitle = {International Conference on Learning Representations (ICLR)},
year = {2023}
}
links