deepseek-ai/DeepSeek-Math-V2
Text Generation • 685B • Updated • 572 • 696
zhang
jerryzzzzz3
·
AI & ML interests
None yet
Recent Activity
upvoted a paper about 5 hours ago
OProver: A Unified Framework for Agentic Formal Theorem Proving liked a model 6 months ago
deepseek-ai/DeepSeek-Math-V2Organizations
liked a
model 6 months ago