Neural PDE Solving on 1D Burgers Equation
0.124Residual BoundPINN (Certified via ∂-CROWN)
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| PINN (Certified via ∂-CROWN)Verification Tool=∂-CROWN, Framework=Corollary 8.1, Architecture=PINN with periodicity mapping (sin(πx), cos(πx), t), Residual bound certification time=2580s, Initial bound certification time=221s2026.03 | 0.124 | 0.0085 | 0.187 | 0.0636 |