3 citations · 3 across the 5 of their papers we have counts for
3 papers · 1 filter
Rigorously Certified Neural-Network Computation of Nonlinear Water Waves at Near-Machine Precision
Michal Shavit, Yongji Wang, Tristan Buckmaster
We present a computational framework that combines machine-learning-based discovery with rigorous computer-assisted numerical certification and formal verification for strongly non…
Resolving Sharp Gradients of Unstable Singularities to Machine Precision via Neural Networks
Yongji Wang, Tristan Léger, Ching-Yao Lai +1
Recent work introduced a robust computational framework combining embedded mathematical structures, advanced optimization, and neural network architecture, leading to the discovery…
Discovery of Unstable Singularities
Yongji Wang, Mehdi Bennani, James Martens +19
Whether singularities can form in fluids remains a foundational unanswered question in mathematics. This phenomenon occurs when solutions to governing equations, such as the 3D Eul…