DeepSeek Prover V2

https://github.com/deepseek-ai/deepseek-prover-v2

DeepSeek Prover V2 is an open-source large language model designed for formal theorem proving in...

Tokens:43,540
Snippets:165
Trust Score:6.8
Update:7 hours ago
Tokens:
Raw