Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
arXiv:2506.03227v2 Announce Type: replace Abstract: A neural ordinary differential equation (neural ODE) is a machine learning model that is commonly described as a continuous-depth generalization of a residual network (ResNet) with a single residual block, or conversely, the ResNet can…
