DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper
•
2405.14333
•
Published
•
34
Avi Halevy
alfie-ns
AI & ML interests
NLP, self-supervised learning and reinforcement learning
Organizations
None yet