Provably Correct Physics-Informed Neural Networks