Publications
Rui-Jie Zhu,
Tianhao Peng,
Tianhao Cheng,
Xingwei Qu,
Jinfa Huang,
Dawei Zhu,
Hao Wang,
Kaiwen Xue,
Xuanliang Zhang,
Yong Shan,
Tianle Cai,
Taylor Kergan,
Assel Kembay,
Andrew Smith,
Chenghua Lin,
Binh Nguyen,
Yuqi Pan,
Yuhong Chou,
Zefan Cai,
Zhenhe Wu,
Yongchi Zhao,
Tianyu Liu,
Jian Yang,
Wangchunshu Zhou,
Chujie Zheng,
Chongxuan Li,
Yuyin Zhou,
Zhoujun Li,
Zhaoxiang Zhang,
Jiaheng Liu,
Ge Zhang,
Wenhao Huang,
Jason Eshraghian
(2025).
A Survey on Latent Reasoning.
Zhongyuan Peng,
Yifan Yao,
Kaijing Ma,
Shuyue Guo,
Yizhe Li,
Yichi Zhang,
Chenchen Zhang,
Yifan Zhang,
Zhouliang Yu,
Luming Li,
Minghao Liu,
Yihang Xia,
Jiawei Shen,
Yuchen Wu,
Yixin Cao,
Zhaoxiang Zhang,
Wenhao Huang,
Jiaheng Liu,
Ge Zhang
(2025).
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization.