Propagation de bornes par intervalles quantiques pour l'entraînement certifié de réseaux de neurones quantiques

L'article introduit QIBP (Quantum Interval Bound Propagation), une adaptation de la méthode classique IBP aux réseaux de neurones quantiques. L'approche certifie que les modèles prédisent correctement les labels même sous perturbations adversariales, en suivant les bornes inférieure et supérieure tout au long de l'entraînement. Deux implémentations sont comparées — arithmétique par intervalles et arithmétique affine — avec des évaluations montrant des frontières de décision robustes et certifiées.