Correctness Verification of Neural Networks Approximating Differential Equations

Open in new window