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:3,219
Snippets:24
Trust Score:6.8
Update:3 months ago
Tokens:
Raw