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)

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)

When Is Prior Knowledge Helpful? Exploring the Evaluation and Selection of Unsupervised Pretext Tasks from a Neuro-Symbolic Perspective. - Lin-Han Jia; Si-Yu Han; Wen-Chao Hu; Jie-Jing Shao; Wen-Da Wei; Zhi Zhou 007; Lan-Zhe Guo; Yufeng Li 008 (CoRR, 2025)