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 about 1 month ago

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

#3 opened about 1 month ago by

vadimkantorov

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

Serving in Ollama

#1 opened about 2 months ago by

vadimkantorov

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

Downloading weights without duplicates

2

#52 opened 2 months ago by

vadimkantorov