The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kaulen, Konstantin, Ladner, Tobias, Bak, Stanley, Brix, Christopher, Duong, Hai, Flinkow, Thomas, Johnson, Taylor T., Koller, Lukas, Manino, Edoardo, Nguyen, ThanhVu H, Wu, Haoze
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2512.19007