1 paper
Petros Ellinas, Rahul Nellikath, Ignasi Ventura +2
Verification of Neural Networks (NNs) that approximate the solution of Partial Differential Equations (PDEs) is a major milestone towards enhancing their trustworthiness and accele…