@article{
ladner2025formal,
title={Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure},
author={Tobias Ladner and Michael Eichelbeck and Matthias Althoff},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2025},
url={https://openreview.net/forum?id=B6y12Ot0cP},
note={}
}