DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Paper
•
2408.08152
•
Published
•
57
shangzeyu
shangzy
·
AI & ML interests
None yet
Recent Activity
liked
a model
28 days ago
qihoo360/TinyR1-32B-Preview
liked
a model
about 1 month ago
internlm/internlm3-8b-instruct
liked
a dataset
about 1 month ago
Congliu/Chinese-DeepSeek-R1-Distill-data-110k
Organizations
