DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Paper
•
2408.08152
•
Published
•
55
shangzeyu
shangzy
·
AI & ML interests
None yet
Recent Activity
liked
a dataset
2 days ago
Congliu/Chinese-DeepSeek-R1-Distill-data-110k
liked
a model
10 months ago
meta-llama/Meta-Llama-3-70B-Instruct
Organizations
