OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Yantao Li
Undergrad student, Zhiyuan College, Shanghai Jiaotong University
Joined
January 2026
Names
Yantao Li
(Preferred)
,
Li Yantao
Emails
****@sjtu.edu.cn
(Confirmed)
Personal Links
LinkedIn
Career & Education History
Undergrad student
Zhiyuan College,
Shanghai Jiaotong University
(sjtu.edu.cn)
2022
–
2026
Advisors, Relations & Conflicts
PhD Advisor
Jingwei Liang
2026
–
2031
Expertise
No areas of expertise listed
Publications
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
Yifan Bai
,
Xiaoyang Liu
,
Zihao Mou
,
Guihong Wang
,
Jian Yu
,
Shuhan Xie
,
Yantao Li
,
Yangyu Zhang
,
Jingwei Liang
,
Tao Luo
ICML 2026 AI4Math Workshop Poster
Readers:
Everyone
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
Xiaoyang Liu
,
Zineng Dong
,
Yifan Bai
,
Yantao Li
,
Yuntian Liu
,
Tao Luo
ICML 2026 regular
Readers:
Everyone
Co-Authors
Guihong Wang
Jian Yu
Jingwei Liang
Shuhan Xie
Tao Luo
Xiaoyang Liu
Yangyu Zhang
Yifan Bai
Yuntian Liu
Zihao Mou
Zineng Dong