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

SyDa
Re-assign community