Hi! I am an incoming Master’s student in the Machine Learning Department at the School of Computer Science at Carnegie Mellon University. I am currently a senior undergraduate at SCU, majoring in Statistics and Mathematics with a minor in Software Engineering. I was also an exchange student at UC Berkeley during Spring and Summer 2025. My research interest lies in generative model and large language model. I’m now an intern working on AI for science at Alibaba Group US DAMO Academy supervised by Wotao Yin. I am always excited to discussing cool ideas and potential collaborations!
🔥 News
-
2026.4: 🎉 Our paper A Survey on Hallucination in Video Understanding: Taxonomy, Causes, and Mitigation Techniques is released now!
-
2026.3 🎉 I will be joining CMU as a Master’s student in the Machine Learning Department in Fall 2026!
-
2025.9: 🎉🎉 Our paper Solving Inequality Proofs with Large Language Models is accepted at NeurIPS 2025 as a Spotlight!
-
2025.1: Finished our new paper Auto-Verify: A Plug-and-Play Step-wise Verification and Self-Correction Pipeline in Mathematical Reasoning!
📝 Papers
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)
A Survey on Hallucination in Video Understanding: Taxonomy, Causes, and Mitigation Techniques
Jiayi Sheng, Wei Luo, Wotao Yin
OBLR-PO: A Theoretical Framework for Stable Reinforcement Learning
Zixun Huang*, Jiayi Sheng*, Zeyu Zheng
(*Co-first Author)
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
- 2026.09 - 2028.05 (Expected), M.Sc. in Machine Learning, CMU
- 2022.09 - 2026.06, B.Sc. in Mathematics & Statistics (Minor in Software Engineering), SCU
- 2025.01 - 2025.08, Exchange at UC Berkeley
💻 Internships
- 2026.01 - Present , DAMO Academy, Alibaba Group, USA.
- 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%)
- Sichuan University Presidential Scholarship (Top 0.1%)
- Outstanding Graduate of Sichuan Province (Top 5%)
- Excellent Student of Sichuan University (Top 10%)
-
Excellent Student Cadre of Sichuan University (Top 10%)