Video
Unknown · 0:00
Neural-network PDE/ODE solvers usually produce only approximate solutions; this talk shows how to turn those candidates into mathematically guaranteed enclosures by learning neural sub- and super-solutions, then verif...
Unknown · 0:00
Neural-network PDE/ODE solvers usually produce only approximate solutions; this talk shows how to turn those candidates into mathematically guaranteed enclosures by learning neural sub- and super-solutions, then verif...
Redirecting...