一作STOC 2026Oral· Theory of ComputingRandomized Rounding over Dynamic ProgramsÉtienne Bamas · Shi Li · Lars Rohwedder代码理论与学习动力学OpenReview