I think it’s a good idea to include links to the originals:
https://arxiv.org/abs/2408.08152 - “DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search”
https://github.com/deepseek-ai/DeepSeek-Prover-V1.5
I think it’s a good idea to include links to the originals:
https://arxiv.org/abs/2408.08152 - “DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search”
https://github.com/deepseek-ai/DeepSeek-Prover-V1.5