DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search - Xin, Huajian; Ren, Z.Z.; Song, Junxiao; Shao, Zhihong; Zhao, Wanjia; Wang, Haocheng; Liu, Bo; Zhang, Liyue; Lu, Xuan; Du, Qiushi; Gao, Wenjun; Zhang, Haowei; et al. (International Conference on Learning Representations, 2025)