deepseek-ai/DeepSeek-Math-V2
Text Generation • 685B • Updated • 575 • 703
zhang
jerryzzzzz3
·
AI & ML interests
None yet
Recent Activity
upvoted a paper 29 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving liked a model 7 months ago
deepseek-ai/DeepSeek-Math-V2Organizations
liked a
model 7 months ago