Verifying message-passing neural networks via topology-based bounds tightening

Christopher Hojny, Shiqiang Zhang, Juan S. Campos, Ruth Misener

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 41st International Conference on Machine Learning
Uitgeverij	PMLR
Pagina's	18489-18514
Status	Gepubliceerd - 2024

Naam	Proceedings of Machine Learning Research
Uitgeverij	PMLR
Volume	235

Citeer dit

@inproceedings{dfe16c0a1e98423d95b054a18847200b,

title = "Verifying message-passing neural networks via topology-based bounds tightening",

author = "Christopher Hojny and Shiqiang Zhang and Campos, {Juan S.} and Ruth Misener",

year = "2024",

language = "English",

series = "Proceedings of Machine Learning Research",

publisher = "PMLR",

pages = "18489--18514",

booktitle = "Proceedings of the 41st International Conference on Machine Learning",

}

Verifying message-passing neural networks via topology-based bounds tightening. / Hojny, Christopher; Zhang, Shiqiang; Campos, Juan S. et al.
Proceedings of the 41st International Conference on Machine Learning. PMLR, 2024. blz. 18489-18514 (Proceedings of Machine Learning Research; Vol. 235).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Verifying message-passing neural networks via topology-based bounds tightening

AU - Hojny, Christopher

AU - Zhang, Shiqiang

AU - Campos, Juan S.

AU - Misener, Ruth

PY - 2024

Y1 - 2024

M3 - Conference contribution

T3 - Proceedings of Machine Learning Research

SP - 18489

EP - 18514

BT - Proceedings of the 41st International Conference on Machine Learning

PB - PMLR

ER -