TY  - RPRT
TI  - Correctness Verification of Neural Networks Approximating Differential Equations
AU  - Petros Ellinas
AU  - Rahul Nellikath
AU  - Ignasi Ventura
AU  - Jochen Stiasny
AU  - Spyros Chatzivasileiadis
PY  - 2024
UR  - https://arxiv.org/abs/2402.07621
ID  - 2402.07621
ER  -