1. College of Computer Science and Technology, Jilin University, Changchun 130012, China
2. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China
3. Chengdu Kestrel Artificial Intelligence Institute, Chengdu 610000, China
4. Beijing Jingdong Century Trading Co., Ltd., Beijing 100083, China
5. Research Institute of Petroleum Exploration & Development, PetroChina, Beijing 100083, China