DeepSeek-Prover-V2
Categories:
LLM models
Price: Free |
Views: 1 |
Clicks: 0
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.
