Architectural Choices in China's Open-Source AI Ecosystem: Building Beyond DeepSeek 

Hugging Face·Jan 27

DeepSeek Unveils DeepSeek-Prover-V2: Advancing Neural Theorem Proving with Recursive Proof Search and a New Benchmark

DeepSeek AI releases DeepSeek-Prover-V2, an open-source LLM for Lean 4 theorem proving. It uses recursive proof search with DeepSeek-V3 for training data and reinforcement learning, achieving top...

Synced Review·Apr 30

Mini-R1: Reproduce Deepseek R1 „aha moment“ a RL tutorial

Hugging Face·Jan 31

One Year Since the “DeepSeek Moment”

Hugging Face·Jan 20

Can GRPO be 10x Efficient? Kwai AI’s SRPO Suggests Yes with SRPO

Kwai AI's SRPO framework slashes LLM RL post-training steps by 90% while matching DeepSeek-R1 performance in math and code. This two-stage RL approach with history resampling overcomes GRPO...

Synced Review·Apr 24

How to deploy and fine-tune DeepSeek models on AWS

Hugging Face·Jan 30

DeepSeek-V3 New Paper is coming! Unveiling the Secrets of Low-Cost Large Model Training through Hardware-Aware Co-design

A newly released 14-page technical paper from the team behind DeepSeek-V3, with DeepSeek CEO Wenfeng Liang as a co-author, sheds light on the “Scaling Challenges and Reflections on Hardware for AI...

Synced Review·May 15

DeepSeek Signals Next-Gen R2 Model, Unveils Novel Approach to Scaling Inference with SPCT

DeepSeek AI, a prominent player in the large language model arena, has recently published a research paper detailing a new technique aimed at enhancing the scalability of general reward models (GRMs)...

Synced Review·Apr 11

Open-R1: a fully open reproduction of DeepSeek-R1

Hugging Face·Jan 28