@misc{indiciaec5f85da9aa65,
  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},
  url = {https://arxiv.org/abs/2406.11522},
  note = {Source identifier: 2406.11522}
}