Search Results for author: Rahul Nellikath

Found 1 papers, 0 papers with code

Correctness Verification of Neural Networks Approximating Differential Equations

no code implementations12 Feb 2024 Petros Ellinas, Rahul Nellikath, Ignasi Ventura, Jochen Stiasny, Spyros Chatzivasileiadis

Finally, for the first time, we tackle the problem of bounding an NN function without a priori knowledge of the output domain.

Cannot find the paper you are looking for? You can Submit a new open access paper.