ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization - Chen, Guoxin; Jing, Wu; Chen, Xinjie; Zhao, Xin; Song, Ruihua; Li, Chengxi; Fan, Kai; Liu, Dayiheng; Liao, Minpeng (International Conference on Learning Representations, 2026)