Hi! I am a Master’s student in the Machine Learning Department at the School of Computer Science at Carnegie Mellon University. I earned my B.Sc. and B.Eng. degree from SCU, where I majored in Statistics and Mathematics and minored 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 was also 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.8: 🎉🎉 Our paper A Survey on Hallucination in Video Understanding: Taxonomy, Causes, and Mitigation Techniques is accepted at TMLR! Click the link to check out!
-
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)
Zixun Huang*, Jiayi Sheng*, Zeyu Zheng
📝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, and B.Eng. in Software Engineering (minor), SCU
- 2025.01 - 2025.08, Exchange at UC Berkeley
💻 Internships
- 2026.01 - 2026.07 , 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.