Qiushi Du
Timeline
2024
0
1
2
3
4
5
6
7
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.
CoRR, 2024
DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.
CoRR, 2024
CoRR, 2024
Proceedings of the International Conference for High Performance Computing, 2024