TY - RPRT TI - Rigorously Certified Neural-Network Computation of Nonlinear Water Waves at Near-Machine Precision AU - Michal Shavit AU - Yongji Wang AU - Tristan Buckmaster PY - 2026 UR - https://arxiv.org/abs/2611.07395 ID - 2611.07395 ER -