SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming

Documenti analoghi

• Chordal Sparsity for SDP-based Neural Network Verification
  di: Xue, Anton, et al.
  Pubblicazione: (2022)
• Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
  di: Li, Haoyu, et al.
  Pubblicazione: (2026)
• E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
  di: Li, Wenting, et al.
  Pubblicazione: (2026)
• Training Safe Neural Networks with Global SDP Bounds
  di: Soletskyi, Roman, et al.
  Pubblicazione: (2024)
• Neural Network Verification with Branch-and-Bound for General Nonlinearities
  di: Shi, Zhouxing, et al.
  Pubblicazione: (2024)