Artifact of GenBaB: Neural Network Verification with Branch-and-Bound for General Nonlinearities

Documenti analoghi

• Neural Network Verification with Branch-and-Bound for General Nonlinearities
  di: Shi, Zhouxing, et al.
  Pubblicazione: (2024)
• Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
  di: Shi, Zhouxing, et al.
  Pubblicazione: (2024)
• Provably Bounding Neural Network Preimages
  di: Kotha, Suhas, et al.
  Pubblicazione: (2023)
• SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
  di: Zhou, Xingjian, et al.
  Pubblicazione: (2024)
• Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
  di: Yang, Lujie, et al.
  Pubblicazione: (2024)