Xin, H., Ren, Z. Z., Song, J., Shao, Z., Zhao, W., Wang, H., . . . Ruan, C. (2024). DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.
Chicago-Zitierstil (17. Ausg.)Xin, Huajian, et al. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search. 2024.
MLA-Zitierstil (9. Ausg.)Xin, Huajian, et al. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.