Boosting Few-Pixel Robustness Verification via Covering Verification Designs

Documenti analoghi

• Mini-Batch Robustness Verification of Deep Neural Networks
  di: Tzour-Shaday, Saar, et al.
  Pubblicazione: (2025)
• Verification of Neural Networks' Global Robustness
  di: Kabaha, Anan, et al.
  Pubblicazione: (2024)
• Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
  di: Kabaha, Anan, et al.
  Pubblicazione: (2025)
• Neural Network Verification is a Programming Language Challenge
  di: Cordeiro, Lucas C., et al.
  Pubblicazione: (2025)
• NLP Verification: Towards a General Methodology for Certifying Robustness
  di: Casadio, Marco, et al.
  Pubblicazione: (2024)