I pursue my PhD majoring in Logic and AI at University of Amsterdam, where I am fortunate to be supervised by Prof. Robert van Rooij. Before that, I obtained my Master’s degree from Tsinghua University. I was also a visiting Ph.D. Student of Machine Learning Department at MBZUAI supervised by Prof. Kun Zhang and Prof. Mingming Gong, and a Research Intern at Meituan. My research interests include Neuro-Symbolic AI, LLM Logical reasoning, and causal inference. I have several first-author publications appeared in top-tier conferences including IJCAI, AAAI, ACL and EMNLP, some of which have been reported by MIT Technology Review, Chinese Association for Artificial Intelligence (CAAI), and front-page coverage by Synced (机器之心). For LLM neuro-symbolic and logical reasoning, I organized AAAI 26 Bridge Program and co-organized ICLR 26 Workshop, also co-hosted IJCAI 25 and AAAI 26 tutorials. In addition, I was selected as a member of IJCAI 25 Doctoral Consortium (only 15 Ph.D. students) and AAAI 26 Doctoral Consortium. Moreover, I participated as principle participant in projects funded by the Beijing Natural Science Foundation (¥3,000,000, No. L257007) and Beijing Municipal Science & Technology Commission (¥5,000,000, Z251100008425006).