Jian Yu (Preferred)
Jian Yu
Undergrad student, School of Mathematics, Jilin University
Joined
April 2026
Names
Emails
****@mails.jlu.edu.cn (Confirmed)
****@qq.com (Confirmed)
Personal Links
Career & Education History
Undergrad student
School of Mathematics, Jilin University (jlu.edu.cn)
2022 – 2026
Advisors, Relations & Conflicts
Expertise
mathematical formalization
2025 – 2026
verifiable code generation
2025 – 2026
mathematics
, convex analysis
, numerical analysis
, algebra
2023 – 2026