Function-space certification
Domain-wide guarantees for neural operators, not only at grid points
Paper title Function-Space Certification for Neural Operators
Paper arXiv 2611.09038PDF
Interval bound propagation and CROWN are formulated in function space: upper and lower bound functions are propagated through each neural-operator layer with rigorous numerical integration, and extended to higher-order derivatives to bound PDE residuals and solution error.
Share on LinkedIn, X or Bluesky, or or .
Know related work that belongs here? Suggest a link
Something wrong on this page? Tell the editor