DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning(huggingface.co)

238 points by victorbuilds 10 months ago | 76 comments

DeepSeek-R1-Distill-Qwen-1.5B Surpasses GPT-4o in certain benchmarks(huggingface.co)

24 points by BUFU 1 year ago | 6 comments

DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence(huggingface.co)

141 points by cmrdporcupine 6 months ago | 13 comments

DeepSeek-v4.1-Flash-1017(huggingface.co)

918 points by theykk 9 days ago | 680 comments

Hugging Face model card for DeepSeek-V4.1-Flash-1017, a 763B-parameter MIT-licensed image-text-to-text model from DeepSeek.

DeepSeek v4.1 Flash Uncensored(huggingface.co)

22 points by soltanov 1 month ago | 2 comments

Yi-34B-Chat(huggingface.co)

96 points by tosh 2 years ago | 55 comments

DeepSeek-v3.2: Pushing the frontier of open large language models [pdf](huggingface.co)

921 points by pretext 10 months ago | 438 comments

PDF technical paper hosted on Hugging Face describing DeepSeek-V3.2, an open large language model from DeepSeek.

DeepSeek-v4.1-Flash-1017(huggingface.co)

918 points by theykk 9 days ago | 680 comments

Hugging Face model card for DeepSeek-V4.1-Flash-1017, a 763B-parameter MIT-licensed image-text-to-text model from DeepSeek.

Open-R1: an open reproduction of DeepSeek-R1(huggingface.co)

354 points by jonbaer 1 year ago | 186 comments

Hugging Face blog post announcing Open-R1, a project to build a fully open reproduction of the DeepSeek-R1 reasoning model.

DeepSeek open source DeepEP – library for MoE training and Inference(github.com)

473 points by helloericsf 1 year ago | 66 comments

GitHub repository for DeepEP, DeepSeek's open-source expert-parallel communication library for Mixture-of-Experts model training and inference.

DeepSeek-v4-flash-vision-exp(api-docs.deepseek.com)

470 points by dares2573 2 months ago | 144 comments

DeepSeek API documentation page describing the deepseek-v4-flash-vision-exp model, which accepts images alongside text, and how to send images via the API.

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.