deepseek-ai/DeepSeek-ProverBench download history

deepseek-ai/DeepSeek-ProverBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 863 times (297 in the last 7 days), and 6,715 times in total. It ranks #21,603 among datasets by monthly downloads.

1. Introduction We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem

Models trained on DeepSeek-ProverBench

5 models list it as training data.

Open deepseek-ai/DeepSeek-ProverBench on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.