← Back to Leaderboard
AI ToolsTOOL
DeepSeek-Prover-V2
https://github.com/deepseek-ai/deepseek-prover-v2About
DeepSeek's open-source LLM specialized in formal theorem proving in Lean 4.
Tags
llmtheorem-provingleanmathdeepseek
Comments
No comments yet.