Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification

Documenti analoghi

• Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
  di: Zhou, Duo, et al.
  Pubblicazione: (2024)
• Clipped SGD Algorithms for Performative Prediction: Tight Bounds for Clipping Bias and Remedies
  di: Li, Qiang, et al.
  Pubblicazione: (2024)
• On the Convergence of DP-SGD with Adaptive Clipping
  di: Shulgin, Egor, et al.
  Pubblicazione: (2024)
• DR-SAC: Distributionally Robust Soft Actor-Critic for Reinforcement Learning under Uncertainty
  di: Cui, Mingxuan, et al.
  Pubblicazione: (2025)
• On the Duality Between Sharpness-Aware Minimization and Adversarial Training
  di: Zhang, Yihao, et al.
  Pubblicazione: (2024)