TY  - RPRT
TI  - Computer-aided analyses of stochastic first-order methods, via interpolation conditions for stochastic optimization
AU  - Anne Rubbens
AU  - Sébastien Colla
AU  - Julien M. Hendrickx
PY  - 2026
UR  - https://arxiv.org/abs/2507.05466
ID  - 2507.05466
ER  -