M. Shavit

Rigorously Certified Neural-Network Computation of Nonlinear Water Waves at Near-Machine Precision

We present a computational framework that combines machine-learning-based discovery with rigorous computer-assisted numerical certification and formal verification for strongly nonlinear partial differential equations. We demonstrate the approach for periodic gravity-capillary traveling water waves. Physics-informed ne...