TY - RPRT TI - Fast SDP certification of neural networks : towards large multi-class datasets AU - Margot Boyer AU - Clément Rambour AU - Zacharie Alès AU - Amélie Lambert PY - 2026 UR - https://arxiv.org/abs/2607.03232 ID - 2607.03232 ER -