Correctness Verification of Neural Networks Approximating Differential Equations. - Petros Ellinas; Rahul Nellikkath; Ignasi Ventura; Jochen Stiasny; Spyros Chatzivasileiadis (CoRR, 2024)