THE CONVEX RELAXATION BARRIER, REVISITED: TIGHTENED SINGLE-NEURON RELAXATIONS FOR NEURAL NETWORK VERIFICATION

Bibliographische Detailangaben

Veröffentlicht in:	NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 26 of 27
1. Verfasser:	Tjandraatmadja, Christian (VerfasserIn)
Weitere Verfasser:	Anderson, Ross (VerfasserIn), Huchette, Joey (VerfasserIn), Ma, Will (VerfasserIn), Patel, Krunal Kishor (VerfasserIn), Vielma, Juan Pablo (VerfasserIn)
Pages:	34
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!