Incremental Certificate Learning for Hybrid Neural Network Verification . A Solver Architecture for Piecewise-Linear Safety Queries

Documenti analoghi

• Proof-Carrying Verification for ReLU Networks via Rational Certificates
  di: Gokavarapu, Chandrasekhar
  Pubblicazione: (2025)
• Riemannian Adaptive Regularized Newton Methods with Hölder Continuous Hessians
  di: Zhang, Chenyu, et al.
  Pubblicazione: (2023)
• Halpern Acceleration of the Inexact Proximal Point Method of Rockafellar
  di: Zhang, Liwei, et al.
  Pubblicazione: (2025)
• Topological structure and a polynomial-time solution of linear programming over the real numbers
  di: Wei, Jing-Yuan
  Pubblicazione: (2018)
• A non-iterative polynomial algorithm for linear programming
  di: Jing-Yuan, Wei
  Pubblicazione: (2013)