* equal contribution

• Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
  Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu, Xin Xu, Zaoyu Chen, Yasheng Wang, Lifeng Shang, Qun Liu, Ming Zhang

  ACL 2025 main [Paper] [Code]

• UGPhysics: A Comprehensive Benchmark for Undergraduate Physics Reasoning with Large Language Models
  Xin Xu*, Qiyun Xu*, Tong Xiao, Tianhao Chen, Yuchen Yan, Jiaxin Zhang, Shizhe Diao, Can Yang, Yang Wang

  ICML 2025 [Paper] [Code] [data]

• UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models
  Xin Xu*, Jiaxin Zhang*, Tianhao Chen*, Zitong Chao, Jishan Hu, Can Yang

  ICLR 2025 [Paper] [Code] [data]

• Can LLMs Solve Longer Math Word Problems Better?
  Xin Xu*, Tong Xiao*, Zitong Chao, Zhenya Huang, Can Yang, Yang Wang

  ICLR 2025 [Paper] [Code]

• $S^3$cMath: Spontaneous Step-Level Self-Correction Makes Large Language Models Better Mathematical Reasoners
  Yuchen Yan, Jin Jiang, Yang Liu, Yixin Cao, Xin Xu, Xunliang Cai, Jian Shao

  AAAI 2025 [Paper]

• UCS: A Unified Approach to Cell Segmentation for Subcellular Spatial Transcriptomics
  Yuheng Chen, Xin Xu, Xiaomeng Wan, Jiashun Xiao, Can Yang

  Small Methods (Q1) [Paper]

• Can We Verify Step by Step for Incorrect Answer Detection?
  Xin Xu, Shizhe Diao, Can Yang, Yang Wang

  IJCAI 2025 [Paper] [Code] [data]

Preprints

• GPAS: Accelerating Convergence of LLM Pretraining via Gradient-Preserving Activation Scaling
  Tianhao Chen*, Xin Xu*, Zijing Liu, Pengxiang Li, Xinyuan Song, Ajay Kumar Jaiswal, Fan Zhang, Jishan Hu, Yang Wang, Hao Chen, Shizhe Diao, Shiwei Liu, Yu Li, Lu Yin, Can Yang

  [Paper] [Code]

• Double-Checker: Enhancing Reasoning of Slow-Thinking LLMs via Self-Critical Fine-Tuning
  Xin Xu*, Tianhao Chen*, Fan Zhang, Wanlong Liu, Pengxiang Li, Ajay Kumar Jaiswal, Yuchen Yan, Jishan Hu, Yang Wang, Hao Chen, Shiwei Liu, Shizhe Diao, Can Yang, Lu Yin

  [Paper] [Code]

• Advancing Multimodal Reasoning Capabilities of Multimodal Large Language Models via Visual Perception Reward
  Tong Xiao, Xin Xu, Zhenya Huang, Hongyu Gao, Quan Liu, Qi Liu, Enhong Chen

  [Paper] [Code]

• VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Models
  Yuchen Yan, Jin Jiang, Zhenbang Ren, Yijun Li, Xudong Cai, Yang Liu, Xin Xu, Mengdi Zhang, Jian Shao, Yongliang Shen, Jun Xiao, Yueting Zhuang

  [Paper] [Code]

• Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
  Xin Xu, Yan Xu, Tianhao Chen, Yuchen Yan, Chengwu Liu, Zaoyu Chen, Yufei Wang, Yichun Yin, Yasheng Wang, Lifeng Shang, Qun Liu

  [Paper] [Code]

• MathFimer: Enhancing Mathematical Reasoning by Expanding Reasoning Steps through Fill-in-the-Middle Task
  Yuchen Yan, Yongliang Shen, Yang Liu, Jin Jiang, Xin Xu, Mengdi Zhang, Jian Shao, Yueting Zhuang

  [Paper]