{"id":"arxiv/2601.19818","url":"https://arxiv.org/abs/2601.19818","tags":["cs.LG","math.NA"],"score":0,"title":"Learn and Verify: A Framework for Rigorous Verification of Physics-Informed Neural Networks","domain":"cs.LG","source":"arxiv","authors":["Kazuaki Tanaka","Kohei Yatabe"],"reviews":0,"subject":"cs.LG","summary":"The numerical solution of differential equations using neural networks has become a central topic in scientific computing, with Physics-Informed Neural Networks (PINNs) emerging as a powerful paradigm for both forward and inverse problems. However, unlike classical numerical methods that offer established convergence guarantees, neural network-based approximations typically lack rigorous error bounds. Furthermore, the non-deterministic nature of their optimization makes it difficult to mathematically certify their accuracy. To address these challenges, we propose a \"Learn and Verify\"…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}