FullStack Bench: Evaluating LLMs as Full Stack Coders. - Yao Cheng; Jianfeng Chen; Jie Chen; Li Chen; Liyu Chen; Wentao Chen; Zhengyu Chen; Shijie Geng; Aoyan Li; Bo Li; Bowen Li; Linyi Li; et al. (CoRR, 2024)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving. - Ran Xin; Chenguang Xi; Jie Yang 078; Feng Chen 046; Hang Wu; Xia Xiao 003; Yifan Sun; Shen Zheng; Ming Ding (ACL (1), 2025)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving. - Ran Xin; Chenguang Xi; Jie Yang 078; Feng Chen 046; Hang Wu; Xia Xiao 003; Yifan Sun; Shen Zheng; Kai Shen (CoRR, 2025)

Seed-Coder: Let the Code Model Curate Data for Itself. - Yuyu Zhang; Jing Su; Yifan Sun; Chenguang Xi; Xia Xiao 003; Shen Zheng; Anxiang Zhang; Kaibo Liu; Daoguang Zan; Tao Sun; Jinhua Zhu; Shulin Xin; et al. (CoRR, 2025)