@InProceedings{LKF24,
title={FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks}, 
author={Tobias Lorenz and Marta Kwiatkowska and Mario Fritz},
year={2024},
institution={The German Conference on Pattern Recognition (GCPR)},
eprint={2406.11522},
archivePrefix={arXiv},
primaryClass={cs.LG}
url={https://arxiv.org/abs/2406.11522}, 
}