Interactive exploratory search for multi page search results. - Xiaoran Jin; Marc Sloan; Jun Wang 012 (WWW, 2013)

Sequence-to-Sequence Pre-training with Unified Modality Masking for Visual Document Understanding. - Shuwei Feng; Tianyang Zhan; Zhanming Jie; Trung Quoc Luong; Xiaoran Jin (CoRR, 2023)

Design of Chain-of-Thought in Math Problem Solving. - Zhanming Jie; Trung Quoc Luong; Xinbo Zhang; Xiaoran Jin; Hang Li (CoRR, 2023)

ReFT: Reasoning with Reinforced Fine-Tuning. - Luong Quoc Trung; Xinbo Zhang; Zhanming Jie; Peng Sun; Xiaoran Jin; Hang Li (ACL (1), 2024)

ReFT: Reasoning with Reinforced Fine-Tuning. - Trung Quoc Luong; Xinbo Zhang; Zhanming Jie; Peng Sun; Xiaoran Jin; Hang Li (CoRR, 2024)

Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning. - Jiaze Chen; Tiantian Fan; Xin Liu; Lingjun Liu; Zhiqi Lin; Mingxuan Wang; Chengyi Wang; Xiangpeng Wei; Wenyuan Xu; Yufeng Yuan; Yu Yue; Lin Yan; et al. (CoRR, 2025)

APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries. - Huajian Xin; Luming Li; Xiaoran Jin; Jacques Fleuriot; Wenda Li (CoRR, 2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. - Luoxin Chen; Jinming Gu; Liankai Huang; Wenhao Huang 001; Zhicheng Jiang; Allan Jie; Xiaoran Jin; Xing Jin; Chenggang Li; Kaijing Ma; Cheng Ren; Jiawei Shen; et al. (CoRR, 2025)