User: Guest  Login

If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Koller, Lukas; Ladner, Tobias; Althoff, Matthias
Title:
End-To-End Set-Based Training for Neural Network Verification
Dewey Decimal Classification:
000 Informatik, Wissen, Systeme
Journal title:
arxiv
Year:
2024
Month:
Jan
Fulltext / DOI:
doi:10.48550/ARXIV.2401.14961
Publisher:
arXiv
Date of publication:
26.01.2024
 BibTeX