BEACONS: Bounded-Error, Algebraically-Composable Neural Solvers for Partial Differential Equations
This paper introduces BEACONS, a framework that constructs formally verified, algebraically composable neural solvers for partial differential equations by leveraging the method of characteristics to derive rigorous error bounds, thereby enabling reliable and bounded extrapolation beyond training data regimes where traditional methods like PINNs often fail.