TY - RPRT TI - A posteriori certification of PDE approximations with particular application to neural networks AU - Lewin Ernst AU - Nikolaos Rekatsinas AU - Karsten Urban PY - 2026 UR - https://arxiv.org/abs/2502.20336 ID - 2502.20336 ER -