- Titel:
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Ladner, Tobias; Eichelbeck, Michael; Althoff, Matthias
- Dewey Dezimalklassifikation:
- 000 Informatik, Wissen, Systeme
- Zeitschriftentitel:
- Transactions on Machine Learning Research (TMLR)
- Jahr:
- 2025
- Volltext / DOI:
- doi:10.48550/ARXIV.2404.15065
- WWW:
- OpenReviev
- Status:
- Verlagsversion / published
- Publikationsdatum:
- 15.04.2025
BibTeX