Scholar
Dongcai Lu
Google Scholar ID: OOUB5nkAAAAJ
Huawei Tech.
Large Language Model
Math Reasoning
robotics
Follow
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 (吴锋)
Associate Professor of Computer Science, University of Science and Technology of China
Peter Stone
Professor of Computer Science, The University of Texas at Austin
Shiqi Zhang
Associate Professor of Computer Science, SUNY Binghamton
Jianmin Ji
University of Science and Technology of China
Yingfeng Chen(陈赢峰)
Fuxi AI Lab in Netease
Manuela M. Veloso
Herbert A. Simon University Professor of Computer Science, Carnegie Mellon University
Pooyan Fazli
Arizona State University
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up