Jiayi Sheng

Jiayi Sheng

Senior Undergraduate , interested in Large Language Model, Machine Learning.

Hi! I am a senior undergraduate student majoring Statistics & Mathematics and minoring Software Engineering at SCU. I was an exchange student at UC Berkeley during Spring 2025 and Summer 2025. My research interest lies in generative model and large language model, with a specific interest in AI for Math, which leverage AI models to solve high-level math problems. I was an intern working on LLM for Math at Stanford University advised by Pan Lu and James Zou, and at Alibaba DAMO Academy supervised by Wotao Yin. I also did some research on Imputation of Spatial Transcriptomics via Diffusion Model in Yale University guided by Hongyu Zhao and Gefei Wang .

I am now looking for Fall 2026 Ph.D. position.

🔥 News

📝 Papers

NeurIPS 2025 Spotlight
sym

Solving Inequality Proofs with Large Language Models

Jiayi Sheng*, Luna Lyu*, Jikai Jin, Tony Xia, Alex Gu, James Zou †, Pan Lu †

Project | Paper | Code | Dataset | Leaderboard

NeurIPS 2025 Spotlight (Top 3% of all submissions)

(*Co-first Author, † Co-senior authors)

Preprint
sym

Auto-Verify: A Plug-and-Play Step-wise Verification and Self-Correction Pipeline in Mathematical Reasoning

Jiayi Sheng*, Jinrui Zhang*, Xuran Chen, Chenyang Deng, Wotao Yin

Preprint

(*Co-first Author)

📝Coursework

  • GPA(top 1%): 3.96/4.0

  • Selected Courses (Out of 100 points): Probability Theory (100), Multivariable Statistics(99), Mathematical Analysis (99), Advanced Algebra (96), Ordinary Differential Equations (98), Mathematical Modeling and Experiment (98), Function of Real Variable (95), Function of Complex Variable (95), Numerical Analysis (95), Computer Networks(100), Fundamentals of C Programming (100), Computational Thinking and Computers (100)

  • Courses at UC Berkeley: STAT154-Modern Statistical Prediction and Machine Learning (A+), CS188-Introduction to Artificial Intelligence (A+), CS61A-An introduction to programming and computer science (A)

📖 Educations

  • 2022.06 - Present, B.Sc. in Mathematics & Statistics (Minor in Software Engineering), SCU
  • 2025.01 - 2025.08, Exchange at UC Berkeley

💻 Internships

  • 2025.02 - 2025.08 , Stanford University, USA.
  • 2024.06 - 2025.01 , DAMO Academy, Alibaba Group, USA.
  • 2024.06 - 2024.10 , Zhao’s Lab, Yale University, USA.
  • 2023.06 - 2024.06, Thz Lab in College of Mathematics, Sichuan University, China.
  • 2023.07 - 2023.08, Institute of Information Engineering, Chinese Academy of Sciences, China.

🎖 Honors and Awards

  • National Scholarship (10,000 CNY, Top 1%, twice)

  • Sichuan University “Youth Medal” (Top 0.1%)

  • Excellent Student of Sichuan University (Top 10%)
  • Excellent Student Cadre of Sichuan University (Top 10%)

  • Honorable Mention in the Mathematical Contest In Modeling