TY  - RPRT
TI  - ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
AU  - Guoxin Chen
AU  - Jing Wu
AU  - Xinjie Chen
AU  - Wayne Xin Zhao
AU  - Ruihua Song
AU  - Chengxi Li
AU  - Kai Fan
AU  - Dayiheng Liu
AU  - Minpeng Liao
PY  - 2026
UR  - https://arxiv.org/abs/2510.24592
ID  - 2510.24592
ER  -