Scholar
Tao Luo
Google Scholar ID: GZYQFJQAAAAJ
Shanghai Jiao Tong University
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,771
H-index
17
i10-index
20
Publications
20
Co-authors
14
list available
Publications
4 items
Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization
2026
Cited
0
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
Co-authors
12 total
Zhi-Qin John Xu
Shanghai Jiao Tong University
Yaoyu Zhang
Shanghai Jiao Tong University
Yang Xiang
Professor of Mathematics, Hong Kong University of Science and Technology
Zhongwang Zhang
Shanghai Jiao Tong University
Yuqing Li
East China Normal University
Haizhao Yang
Department of Mathematics, Department of Computer Science, University of Maryland College Park
Zhiwei Bai
Shanghai Jiao Tong University
Carola-Bibiane Schönlieb
DAMTP, University of Cambridge
