Dongcai Lu

Joined

July 2019

Names

Dongcai Lu

Emails

****@huawei.com (Confirmed)

Personal Links

Career & Education History

Researcher

Huawei Technologies Ltd. (huawei.com)

2017 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning
Weichen Dai, Rafael Medeiros Cabral, Ziyi Shou, Yan Cao, SHEN XIN, Dongcai Lu, Yi Zhou
- AAAI 2026 Bridge LMReasoning
- Readers: Everyone
From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning
Weichen Dai, Rafael Medeiros Cabral, Ziyi Shou, Yan Cao, litingzhe, Hongfei Ai, Jing Yang, Pengcheng Tang, SHEN XIN, Dongcai Lu
- ICLR 2026 Conference Withdrawn Submission
- Readers: Everyone
Mathesis: Towards Formal Theorem Proving from Natural Languages
Yu Xuejun, Jianyuan Zhong, Zijin Feng, Pengyi Zhai, Roozbeh Yousefzadeh, Wei Chong Ng, Haoxiong Liu, Ziyi Shou, Jing Xiong, Yudong Zhou, Claudia Beth Ong, Austen Jeremy Sugiarto, Yaoxi Zhang, Wai Ming Tai, Huan Cao, Dongcai Lu, Jiacheng Sun, Qiang Xu, SHEN XIN, Zhenguo Li
- ICLR 2026 Poster
- Readers: Everyone
Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning
Dongcai Lu, Yi Zhou, Feng Wu, Zhao Zhang, Xiaoping Chen
- 2017 (modified: 01 Oct 2024)
- IJCAI 2017
- Readers: Everyone
Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots
Shiqi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone
- 2016 (modified: 04 Sept 2020)
- IJCAI 2016
- Readers: Everyone

Co-Authors

View all 32 co-authors