overparametrization

本文研究神经网络的精确认证问题，表明即使在最小过参数化下，认证对于深度≥2的阈值电路和对数精度Transformer也可能变得指数级困难。它还描述了近似认证，揭示了允许多项式级错误仍然需要指数级规模的证书。

这项模拟研究考察了线性回归中含污染数据的最小二乘插值的双重下降现象，比较了最小二乘插值器与稳健替代方法的性能。