Improving End-to-End Speech Processing by Efficient Text Data Utilization with Latent Synthesis. - Jianqiao Lu; Wenyong Huang; Nianzu Zheng; Xingshan Zeng; Yu Ting Yeung; Xiao Chen 012 (EMNLP (Findings), 2023)

SELF: Language-Driven Self-Evolution for Large Language Model. - Jianqiao Lu; Wanjun Zhong; Wenyong Huang; Yufei Wang 005; Fei Mi; Baojun Wang; Weichao Wang; Lifeng Shang; Qun Liu 001 (CoRR, 2023)

Planning, Creation, Usage: Benchmarking LLMs for Comprehensive Tool Utilization in Real-World Complex Scenarios. - Shijue Huang; Wanjun Zhong; Jianqiao Lu; Qi Zhu 011; Jiahui Gao; Weiwen Liu; Yutai Hou; Xingshan Zeng; Yasheng Wang; Lifeng Shang; Xin Jiang 002; Ruifeng Xu 001; et al. (ACL (Findings), 2024)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. - Xiaohan Lin; Qingxing Cao; Yinya Huang; Haiming Wang; Jianqiao Lu; Zhengying Liu; Linqi Song; Xiaodan Liang (NeurIPS, 2024)

AutoPSV: Automated Process-Supervised Verifier. - Jianqiao Lu; Zhiyang Dou; Hongru Wang 003; Zeyu Cao; Jianbo Dai; Yunlong Feng; Zhijiang Guo (NeurIPS, 2024)

Proving Theorems Recursively. - Haiming Wang; Huajian Xin; Zhengying Liu; Wenda Li; Yinya Huang; Jianqiao Lu; Zhicheng Yang; Jing Tang 004; Jian Yin 001; Zhenguo Li; Xiaodan Liang (NeurIPS, 2024)

MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs. - Zhongshen Zeng; Yinhong Liu; Yingjia Wan; Jingyao Li; Pengguang Chen; Jianbo Dai; Yuxuan Yao; Rongwu Xu; Zehan Qi; Wanru Zhao; Linling Shen; Jianqiao Lu; et al. (NeurIPS, 2024)

YODA: Teacher-Student Progressive Learning for Language Models. - Jianqiao Lu; Wanjun Zhong; Yufei Wang 005; Zhijiang Guo; Qi Zhu 011; Wenyong Huang; Yanlin Wang 001; Fei Mi; Baojun Wang; Yasheng Wang; Lifeng Shang; Xin Jiang 002; et al. (CoRR, 2024)

MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation. - Jianbo Dai; Jianqiao Lu; Yunlong Feng; Rongju Ruan; Ming Cheng; Haochen Tan; Zhijiang Guo (CoRR, 2024)

AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation. - Jianqiao Lu; Zhiyang Dou; Hongru Wang 003; Zeyu Cao; Jianbo Dai; Yingjia Wan; Yinya Huang; Zhijiang Guo (CoRR, 2024)

Process-Driven Autoformalization in Lean 4. - Jianqiao Lu; Zhengying Liu; Yingjia Wan; Yinya Huang; Haiming Wang; Zhicheng Yang; Jing Tang 004; Zhijiang Guo (CoRR, 2024)

MR-BEN: A Comprehensive Meta-Reasoning Benchmark for Large Language Models. - Zhongshen Zeng; Yinhong Liu; Yingjia Wan; Jingyao Li; Pengguang Chen; Jianbo Dai; Yuxuan Yao; Rongwu Xu; Zehan Qi; Wanru Zhao; Linling Shen; Jianqiao Lu; et al. (CoRR, 2024)

UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation. - Zixuan Li; Jing Xiong; Fanghua Ye 001; Chuanyang Zheng; Xun Wu; Jianqiao Lu; Zhongwei Wan; Xiaodan Liang; Chengming Li; Zhenan Sun; Lingpeng Kong; Ngai Wong 001 (CoRR, 2024)

UNComp: Uncertainty-Aware Long-Context Compressor for Efficient Large Language Model Inference. - Jing Xiong; Jianghan Shen; Fanghua Ye 001; Chaofan Tao; Zhongwei Wan; Jianqiao Lu; Xun Wu; Chuanyang Zheng; Zhijiang Guo; Lingpeng Kong; Ngai Wong 001 (CoRR, 2024)

Scaling Laws for Mixed quantization in Large Language Models. - Zeyu Cao; Cheng Zhang; Pedro Gimenes; Jianqiao Lu; Jianyi Cheng; Yiren Zhao (CoRR, 2024)

Online Matching Meets Sampling Without Replacement. - Zhiyi Huang 002; Chui Shan Lee; Jianqiao Lu; Xinkai Shu (CoRR, 2024)

Rethinking Stateful Tool Use in Multi-Turn Dialogues: Benchmarks and Challenges. - Hongru Wang 003; Wenyu Huang; Yufei Wang 005; Yuanhao Xi; Jianqiao Lu; Huan Zhang; Nan Hu; Zeming Liu; Jeff Z. Pan; Kam-Fai Wong (ACL (Findings), 2025)

FlexPrefill: A Context-Aware Sparse Attention Mechanism for Efficient Long-Sequence Inference. - Xunhao Lai; Jianqiao Lu; Yao Luo; Yiyuan Ma; Xun Zhou (ICLR, 2025)

FormalAlign: Automated Alignment Evaluation for Autoformalization. - Jianqiao Lu; Yingjia Wan; Yinya Huang; Jing Xiong; Zhengying Liu; Zhijiang Guo (ICLR, 2025)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)

Efficient Pretraining Length Scaling. - Bohong Wu; Shen Yan; Sijun Zhang; Jianqiao Lu; Yutao Zeng; Ya Wang; Xun Zhou (CoRR, 2025)

Model Merging in Pre-training of Large Language Models. - Yunshui Li; Yiyuan Ma; Shen Yan; Chaoyi Zhang; Jing Liu; Jianqiao Lu; Ziwen Xu; Mengzhao Chen; Minrui Wang; Shiyi Zhan; Jin Ma; Xunhao Lai; et al. (CoRR, 2025)