DeepSeek-Prover-V2
Advancing Formal Mathematical Reasoning via RL
producthunt.comVerfolgt über 1 PlattformenZuerst gesehen 01.05., 07:01Zuletzt aktualisiert 29.09., 02:03
Wettbewerber & Alternativen
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.