https://distilabel.argilla.io/latest/sections/pipeline_samples/papers/deepseek_prover/
DeepSeek Prover - Distilabel Docs
Distilabel is an AI Feedback (AIF) framework for building datasets with and for LLMs.
deepseek proverdistilabeldocs
https://aimojo.io/deepseek-prover-v2/
DeepSeek-Prover-V2 bridges informal and formal maths reasoning
May 26, 2025 - DeepSeek-Prover-V2 sets a new benchmark in AI maths. This open-source LLM bridges human intuition and formal proof, achieving an 88.9% MiniF2F-test pass rate.
deepseek proverbridgesformal
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B?inference_api=true&inference_provider=novita
deepseek-ai/DeepSeek-Prover-V2-671B · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
deepseek aihugging faceprover