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 Science, which leverage AI models to solve high-level science 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 .

🔥 News

📝 Papers

NeurIPS 2025 Spotlight
sym

Solving Inequality Proofs with Large Language Models

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

Project | Paper | Code | Dataset | Leaderboard

NeurIPS 2025 Spotlight (Top 3% of all submissions)

(*Co-first Author)

Under Review
sym

OBLR-PO: A Theoretical Framework for Stable Reinforcement Learning

Zixun Huang*, Jiayi Sheng*, Zeyu Zheng

Paper

(*Co-first Author)

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