Wei, Wen-Da

3 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

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