Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification

This research establishes a formal error bound bridging Neural ODEs and ResNets, enabling rigorous safety verification through model proxying without redunda...

Level: expert

By Unknown

Category: research