DeepSeek-Prover-V2
Advancing Formal Mathematical Reasoning via RL
Competitors & alternatives
Deepseek
Open-source LLM optimized for advanced reasoning and code
Deepseek R1
Access to DeepSeek R1, an open-source AI model for advanced reasoning.
Deepchecks Monitoring
Open Source Monitoring for AI & ML
Deepseek Online
Free online access to DeepSeek V3, a powerful open-source AI model.
General Reasoning
Access extensive datasets for reasoning AI research.