DeepSeek-Prover-V2
Categories:
LLM models
Price: Free |
Views: 40 |
Clicks: 18
Solve complex theorems in Lean 4 with an open-source model combining informal reasoning and formal proofs. Break down problems into sub-objectives and generate detailed solutions.
