Certified Neural Approximations of Nonlinear Dynamics