CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search - Yang, Xiao-Wen; Zhou, Zhi; Wang, Haiming; Li, Aoxue; Wei, Wen-Da; Jin, Hui; Li, Zhenguo; Li, Yu-Feng (International Conference on Learning Representations, 2025)