Tao Luo
Scholar

Tao Luo

Google Scholar ID: GZYQFJQAAAAJ
Shanghai Jiao Tong University
Google Scholar↗
Citations & Impact
All-time
Citations
1,771
 
H-index
17
 
i10-index
20
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
3 items
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
2026
Cited
0
Focus and Dilution: The Multi-stage Learning Process of Attention
2026
Cited
0
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
2026
Cited
0
Resume (English only)
Co-authors
14 total
Zhi-Qin John Xu
Zhi-Qin John Xu
Shanghai Jiao Tong University
Yaoyu Zhang
Yaoyu Zhang
Shanghai Jiao Tong University
Yang Xiang
Yang Xiang
Professor of Mathematics, Hong Kong University of Science and Technology
Zhongwang Zhang
Zhongwang Zhang
Shanghai Jiao Tong University
Yuqing Li
Yuqing Li
East China Normal University
Co-author 6
Co-author 6
Haizhao Yang
Haizhao Yang
Department of Mathematics, Department of Computer Science, University of Maryland College Park
Zhiwei Bai
Zhiwei Bai
Shanghai Jiao Tong University