Workshop summary: Numerical mathematics in machine learning