Quantative bounds for high-dimensional non-linear functionals of Gaussian processes | Synapse