DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code IntelligenceDaya Guo, Wenfeng Liang, Kai Dong et al.|arXiv (Cornell University)|2024Cited by 116
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Xiaodan Liang, Daya Guo et al.|arXiv (Cornell University)|2024Cited by 4