@InProceedings{LFK25,
author={Tobias Lorenz, Marta Kwiatkowska and Mario Fritz},
title={MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs},
booktitle={Proc. 39th Annual Conference on Neural Information Processing Systems (NeurIPS'25)},
year={2025},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}