[QA] DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Arxiv Papers - [QA] DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data