Provably Accurate Adaptive Sampling for Collocation Points in Physics-informed Neural Networks