%0 Journal Article %1 journals/corr/abs-2401-14961 %A Koller, Lukas %A Ladner, Tobias %A Althoff, Matthias %D 2024 %J CoRR %K dblp %T End-To-End Set-Based Training for Neural Network Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-14961 %V abs/2401.14961

@article{journals/corr/abs-2401-14961, added-at = {2024-02-06T00:00:00.000+0100}, author = {Koller, Lukas and Ladner, Tobias and Althoff, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/21975320004789eca801e6b664fe6263d/dblp}, ee = {https://doi.org/10.48550/arXiv.2401.14961}, interhash = {a180e9650fc03f3bb7e6bb41e6526341}, intrahash = {1975320004789eca801e6b664fe6263d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:19:21.000+0200}, title = {End-To-End Set-Based Training for Neural Network Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2401.html#abs-2401-14961}, volume = {abs/2401.14961}, year = 2024 }