Picture for Petros Ellinas

Petros Ellinas

Correctness Verification of Neural Networks Approximating Differential Equations

Add code
Feb 12, 2024
Viaarxiv icon