Boomerang: Metadata-Private Messaging under Hardware Trust. - Peipei Jiang 002; Qian Wang 002; Jianhao Cheng; Cong Wang 001; Lei Xu 019; Xinyu Wang 007; Yihao Wu; Xiaoyuan Li 001; Kui Ren 001 (NSDI, 2023)

Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correction. - Xiaoyuan Li 001; Wenjie Wang 007; Moxin Li; Junrong Guo; Yang Zhang 072; Fuli Feng (ACL (Findings), 2024)

HellaSwag-Pro: A Large-Scale Bilingual Benchmark for Evaluating the Robustness of LLMs in Commonsense Reasoning. - Xiaoyuan Li 001; Moxin Li; Rui Men; Yichang Zhang; Keqin Bao; Wenjie Wang 007; Fuli Feng; Dayiheng Liu; Junyang Lin (ACL (Findings), 2025)

MTR-Bench: A Comprehensive Benchmark for Multi-Turn Reasoning Evaluation. - Xiaoyuan Li 001; Keqin Bao; Yubo Ma; Moxin Li; Wenjie Wang 007; Rui Men; Yichang Zhang; Fuli Feng; Dayiheng Liu; Junyang Lin (CoRR, 2025)

Teaching LLM to Reason: Reinforcement Learning from Algorithmic Problems without Code. - Keqin Bao; Nuo Chen; Xiaoyuan Li 001; Binyuan Hui; Bowen Yu 002; Fuli Feng; Xiangnan He 001; Dayiheng Liu (CoRR, 2025)

MathOPEval: A Fine-grained Evaluation Benchmark for Visual Operations of MLLMs in Mathematical Reasoning. - Xiaoyuan Li 001; Moxin Li; Wenjie Wang 007; Rui Men; Yichang Zhang; Fuli Feng; Dayiheng Liu; Junyang Lin (CoRR, 2025)

MTR-Bench: A Comprehensive Benchmark for Multi-Turn Reasoning Evaluation. - Xiaoyuan Li 001; Keqin Bao; Yubo Ma; Moxin Li; Wenjie Wang 007; Rui Men; Yichang Zhang; Fuli Feng; Dayiheng Liu (ACL (1), 2026)

On Predicting the Post-training Potential of Pre-trained LLMs. - Xiaoyuan Li 001; Yubo Ma; Kexin Yang 002; Moxin Li; Keqin Bao; Wenie Wang; Fuli Feng; Dayiheng Liu (CoRR, 2026)

SAGE: Scalable Automated Robustness Augmentation for LLM Knowledge Evaluation. - Xiaoyuan Li 001; Yuzhe Wang; Moxin Li; Keqin Bao; Rui Men; Yichang Zhang; Dayiheng Liu; Wenjie Wang 007; Fuli Feng (CoRR, 2026)

SkillGraph: Skill-Augmented Reinforcement Learning for Agents via Evolving Skill Graphs. - Xiaoyuan Li 001; Moxin Li; Keqin Bao; Yubo Ma; Wenjie Wang 007; Dayiheng Liu; Fuli Feng (CoRR, 2026)

Unified Data Selection for LLM Reasoning. - Xiaoyuan Li 001; Yubo Ma; Chengpeng Li 001; Fengbin Zhu; Yiyao Yu; Keqin Bao; Wenjie Wang 007; Fuli Feng; Dayiheng Liu (CoRR, 2026)

ARES: Automated Rubric Synthesis for Scalable LLM Reinforcement Learning. - Xiaoyuan Li 001; Keqin Bao; Moxin Li; Yubo Ma; Yichang Zhang; Wenjie Wang 007; Fuli Feng; Dayiheng Liu (CoRR, 2026)