DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Huajian Xin, Xiaodan Liang, Qihao Zhu, Chong Ruan, Daya Guo(Sun Yat-sen University), Zhihong Shao, Wenda Li, Bo Liu, Z. Ren
Cited by 4
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