Vadim Kantorov

vadimkantorov's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in deepseek-ai/DeepSeek-Prover-V2-7B 3 months ago

Is the 7B model - the distilled version of 671B?

#3 opened 3 months ago by

vadimkantorov

New activity in AI-MO/Kimina-Prover-Preview-Distill-7B 4 months ago

Serving in Ollama

#1 opened 4 months ago by

vadimkantorov

New activity in deepseek-ai/DeepSeek-V3-0324 4 months ago

Downloading weights without duplicates

2

#52 opened 4 months ago by

vadimkantorov