Lu, Dongcai

3 publications

ICLR 2026 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

IJCAI 2017 Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning Dongcai Lu, Yi Zhou, Feng Wu, Zhao Zhang, Xiaoping Chen

IJCAI 2016 Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots Shiqi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone