UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liang, Zhen, Wu, Taoran, Zhao, Ran, Xue, Bai, Wang, Ji, Yang, Wenjing, Deng, Shaojun, Liu, Wanwei
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Machine Learning 68Q60, 68T07 D.2.4; I.2.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Keine Beschreibung verfügbar.

Ähnliche Einträge