TY  - RPRT
TI  - FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
AU  - Tobias Lorenz
AU  - Marta Kwiatkowska
AU  - Mario Fritz
PY  - 2024
UR  - https://arxiv.org/abs/2406.11522
ID  - 2406.11522
ER  -