Our work UFO has been accepted to AI4Math@ICML25. Grateful to all my co-authors!