Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation. - Jie-Jing Shao; Hao-Ran Hao 002; Xiao-Wen Yang; Yu-Feng Li (CoRR, 2024)

ChinaTravel: A Real-World Benchmark for Language Agents in Chinese Travel Planning. - Jie-Jing Shao; Xiao-Wen Yang; Bo-Wen Zhang; Baizhi Chen; Wen-Da Wei; Guohao Cai; Zhenhua Dong; Lan-Zhe Guo; Yu-feng Li (CoRR, 2024)

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 (ICLR, 2025)

Abductive Learning for Neuro-Symbolic Grounded Imitation. - Jie-Jing Shao; Hao-Ran Hao 002; Xiao-Wen Yang; Yu-Feng Li (KDD (1), 2025)

Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models. - Xiao-Wen Yang; Xuan-Yi Zhu; Wen-Da Wei; Dingchu Zhang; Jie-Jing Shao; Zhi Zhou 007; Lan-Zhe Guo; Yufeng Li 008 (CoRR, 2025)

LawGPT: Knowledge-Guided Data Generation and Its Application to Legal LLM. - Zhi Zhou; Kun-Yang Yu; Shi-Yu Tian; Xiao-Wen Yang; Jiang-Xin Shi; Peng-Xiao Song; Yi-Xuan Jin; Lan-Zhe Guo; Yu-Feng Li (CoRR, 2025)

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 (CoRR, 2025)

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 007; Lin-Han Jia; Wang-Zhou Dai; Yufeng Li 008 (CoRR, 2025)