Jing, Wu

1 publications

ICLR 2026 ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization Guoxin Chen, Wu Jing, Xinjie Chen, Xin Zhao, Ruihua Song, Chengxi Li, Kai Fan, Dayiheng Liu, Minpeng Liao