TY - RPRT TI - A Mini-Batch Counterexample to Last-Iterate Convergence in Definable Optimization AU - Weiwei Kong PY - 2026 UR - https://arxiv.org/abs/2608.19074 ID - 2608.19074 ER -