DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Z. Z. Ren, Chong Ruan, Zhenhua Wu(Shanghai Jiao Tong University), Qihao Zhu, Haocheng Wang, Hongxuan Tang, Shirong Ma, Daya Guo(Sun Yat-sen University), Junxiao Song, Zhibin Gou, Zhihong Shao, Liyue Zhang, Dejian Yang, Huajian Xin, Wanjia Zhao, Wenjun Gao, Yuxuan Liu, Zhe Fu
Cited by 0
Related Papers
CodeBERT: A Pre-Trained Model for Programming and Natural Languages
|Unknown|2020|2.5k
UniXcoder: Unified Cross-Modal Pre-training for Code Representation
|Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)|2022|554
Can Open Large Language Models Catch Vulnerabilities?
|arXiv (Cornell University)|2025|501
CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation
|arXiv (Cornell University)|2021|415