Yang, Xiao-Wen

6 publications

ICLR 2025 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

IJCAI 2025 Curriculum Abductive Learning for Mitigating Reasoning Shortcuts Wen-Da Wei, Xiao-Wen Yang, Jie-Jing Shao, Lan-Zhe Guo

IJCAI 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

IJCAI 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, Lin-Han Jia, Wang-Zhou Dai, Yufeng Li

ICML 2024 Analysis for Abductive Learning and Neural-Symbolic Reasoning Shortcuts Xiao-Wen Yang, Wen-Da Wei, Jie-Jing Shao, Yu-Feng Li, Zhi-Hua Zhou

NeurIPS 2022 LOG: Active Model Adaptation for Label-Efficient OOD Generalization Jie-Jing Shao, Lan-Zhe Guo, Xiao-wen Yang, Yu-Feng Li