@article{
koller2025setbased,
title={Set-Based Training for Neural Network Verification},
author={Lukas Koller and Tobias Ladner and Matthias Althoff},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2025},
url={https://openreview.net/forum?id=n0lzHrAWIA},
note={}
}