Astral: training physics-informed neural networks with error majorants