General Cutting Planes for Bound-Propagation-Based Neural Network Verification

Bibliographische Detailangaben

Veröffentlicht in:	NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 3 of 50
1. Verfasser:	Zhang, Huan (VerfasserIn)
Weitere Verfasser:	Wang, Shiqi (VerfasserIn), Xu, Kaidi (VerfasserIn), Li, Linyi (VerfasserIn), Li, Bo (VerfasserIn), Jana, Suman (VerfasserIn), Hsieh, Cho-Jui (VerfasserIn), Kolter, J. Zico (VerfasserIn)
Pages:	36
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!