Dongcai Lu
Scholar

Dongcai Lu

Google Scholar ID: OOUB5nkAAAAJ
Huawei Tech.
Large Language ModelMath Reasoningrobotics
Google Scholar↗
Citations & Impact
All-time
Citations
102
 
H-index
6
 
i10-index
3
 
Publications
17
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
1 items
Mathesis: Towards Formal Theorem Proving from Natural Languages
2025
Cited
0
Resume (English only)
Co-authors
8 total
Feng Wu (吴锋)
Feng Wu (吴锋)
Associate Professor of Computer Science, University of Science and Technology of China
Peter Stone
Peter Stone
Professor of Computer Science, The University of Texas at Austin
Shiqi Zhang
Shiqi Zhang
Associate Professor of Computer Science, SUNY Binghamton
Jianmin Ji
Jianmin Ji
University of Science and Technology of China
Yingfeng Chen(陈赢峰)
Yingfeng Chen(陈赢峰)
Fuxi AI Lab in Netease
Manuela M. Veloso
Manuela M. Veloso
Herbert A. Simon University Professor of Computer Science, Carnegie Mellon University
Pooyan Fazli
Pooyan Fazli
Arizona State University
Co-author 8
Co-author 8