Xiaoran Jin

According to our database, Xiaoran Jin authored at least 8 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience.

Jiangjie Chen, Wenxiang Chen, Jiacheng Du, Jinyi Hu, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Wenlei Shi, Zhihong Wang, Mingxuan Wang, Chenrui Wei, Shufa Wei, Huajian Xin, Fan Yang, Weihao Gao, Zheng Yuan, Tianyang Zhan, Zeyu Zheng, Tianxi Zhou, Thomas Hanwen Zhu

CoRR, December, 2025

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.

Luoxin Chen, Jinming Gu, Liankai Huang, Wenhao Huang, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Kaijing Ma, Cheng Ren, Jiawei Shen, Wenlei Shi, Tong Sun, He Sun, Jiahui Wang, Siran Wang, Zhihong Wang, Chenrui Wei, Shufa Wei, Yonghui Wu, Yuchen Wu, Yihang Xia, Huajian Xin, Fan Yang, Huaiyuan Ying, Hongyi Yuan, Zheng Yuan, Tianyang Zhan, Chi Zhang, Yue Zhang, Ge Zhang, Tianyun Zhao, Jianqiu Zhao, Yichi Zhou, Thomas Hanwen Zhu

CoRR, July, 2025

APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries.

Huajian Xin, Luming Li, Xiaoran Jin, Jacques D. Fleuriot, Wenda Li

CoRR, April, 2025

2024

ReFT: Reasoning with Reinforced Fine-Tuning.

Trung Quoc Luong, Xinbo Zhang, Zhanming Jie, Peng Sun, Xiaoran Jin, Hang Li

CoRR, 2024

ReFT: Reasoning with Reinforced Fine-Tuning.

Luong Quoc Trung, Xinbo Zhang, Zhanming Jie, Peng Sun, Xiaoran Jin, Hang Li

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

Design of Chain-of-Thought in Math Problem Solving.

Zhanming Jie, Trung Quoc Luong, Xinbo Zhang, Xiaoran Jin, Hang Li

CoRR, 2023

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

2013

Interactive exploratory search for multi page search results.

Xiaoran Jin, Marc Sloan, Jun Wang

Proceedings of the 22nd International World Wide Web Conference, 2013