Documenti analoghi

• Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
  di: Zhou, Duo, et al.
  Pubblicazione: (2024)
• Neural Network Verification with Branch-and-Bound for General Nonlinearities
  di: Shi, Zhouxing, et al.
  Pubblicazione: (2024)
• LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
  di: Chehade, Mohamad Fares El Hajj, et al.
  Pubblicazione: (2024)
• Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
  di: Boetius, David, et al.
  Pubblicazione: (2024)
• Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
  di: Zhou, Duo, et al.
  Pubblicazione: (2025)