TY - RPRT TI - Computer-Assisted Search for Differential Equations Corresponding to Optimization Methods and Their Convergence Rates AU - Atsushi Tabei AU - Ken'ichiro Tanaka PY - 2025 UR - https://arxiv.org/abs/2512.09712 ID - 2512.09712 ER -