@misc{indiciaed2d5a10e80ac,
  title = {Learn and Verify: A Framework for Rigorous Verification of Physics-Informed Neural Networks},
  author = {Kazuaki Tanaka and Kohei Yatabe},
  year = {2026},
  url = {https://arxiv.org/abs/2601.19818},
  note = {Source identifier: 2601.19818}
}