← Back to Leaderboard
AI ToolsTOOL
DeepSeek-Prover-V1.5
https://github.com/deepseek-ai/deepseek-prover-v1.5About
DeepSeek's theorem-proving language model that combines RL and Monte Carlo tree search to solve formal math problems in Lean.
Tags
llmtheorem-provingmathdeepseeklean
Tech Stack
Python
Comments
No comments yet.