| 2026 | AAAI | Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models. | Xiao-Wen Yang, Xuan-Yi Zhu, Dingchu Zhang, Wen-Da Wei, Jie-Jing Shao, Zhi Zhou, Lan-Zhe Guo, Yufeng Li |
| 2025 | EMNLP | AutoEvolve: Automatically Evolving Queries for Applicable and Scalable Retrieval-Augmented Generation Benchmarking. | Dingchu Zhang, Xiaowen Zhang, Yue Fei, Renjun Hu, Xiao-Wen Yang, Zhi Zhou, Baixuan Li, Yu-Feng Li, Xing Shi, Wei Lin |
| 2025 | ICLR | CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search. | Xiao-Wen Yang, Zhi Zhou, Haiming Wang, Aoxue Li, Wen-Da Wei, Hui Jin, Zhenguo Li, Yu-Feng Li |
| 2025 | IJCAI | Curriculum Abductive Learning for Mitigating Reasoning Shortcuts. | Wen-Da Wei, Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo |
| 2025 | IJCAI | Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models. | Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo, Bo-Wen Zhang, Zhi Zhou, Lin-Han Jia, Wang-Zhou Dai, Yufeng Li |
| 2025 | IJCAI | D3: Diversity, Difficulty, and Dependability-Aware Data Selection for Sample-Efficient LLM Instruction Tuning. | Jia Zhang, Chen-Xi Zhang, Yao Liu, Yi-Xuan Jin, Xiao-Wen Yang, Bo Zheng, Yi Liu, Lan-Zhe Guo |
| 2025 | KDD | Abductive Learning for Neuro-Symbolic Grounded Imitation. | Jie-Jing Shao, Hao-Ran Hao, Xiao-Wen Yang, Yu-Feng Li |