7 citations · 24 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.OC2025★ 1 cited
Computer-aided analyses of stochastic first-order methods, via interpolation conditions for stochastic optimization
Anne Rubbens, Sébastien Colla, Julien M. Hendrickx
This work proposes a framework, embedded within the Performance Estimation framework (PEP), for obtaining worst-case performance guarantees on stochastic first-order methods. Given…
cs.LG2025
Analysis of Value Iteration Through Absolute Probability Sequences
Arsenii Mustafin, Sebastien Colla, Alex Olshevsky +1
Value Iteration is a widely used algorithm for solving Markov Decision Processes (MDPs). While previous studies have extensively analyzed its convergence properties, they primarily…