☆1,556Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for DeepSeek-Math-V2
Users that are interested in DeepSeek-Math-V2 are comparing it to the libraries listed below
Sorting:
- ☆1,502Nov 18, 2025Updated 3 months ago
- The official repo of MiniMax-Text-01 and MiniMax-VL-01, large-language-model & vision-language-model based on Linear Attention☆3,356Jul 7, 2025Updated 8 months ago
- verl: Volcano Engine Reinforcement Learning for LLMs☆19,739Updated this week
- ☆412Feb 13, 2026Updated 3 weeks ago
- Technical report of Kimina-Prover Preview.☆363Jul 10, 2025Updated 7 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,222Aug 27, 2025Updated 6 months ago
- ☆555Aug 16, 2024Updated last year
- Personal solutions to the Triton Puzzles☆20Jul 18, 2024Updated last year
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆27May 20, 2025Updated 9 months ago
- Official implementation of Browse-Master, a tool-augmented web-search agent.☆27Aug 22, 2025Updated 6 months ago
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models☆3,183Apr 15, 2024Updated last year
- Stable-DiffCoder is a family of lightweight open-source code DLLMs(diffusion large language models) comprising base and instruct models, …☆75Jan 23, 2026Updated last month
- ☆813Jun 9, 2025Updated 9 months ago
- A bidirectional pipeline parallelism algorithm for computation-communication overlap in DeepSeek V3/R1 training.☆2,931Jan 14, 2026Updated last month
- Awesome Long-CoT Data☆18Mar 26, 2025Updated 11 months ago
- ☆1,239Jul 18, 2025Updated 7 months ago
- ☆17Jun 3, 2024Updated last year
- s1: Simple test-time scaling☆6,642Jun 25, 2025Updated 8 months ago
- A series of math-specific large language models of our Qwen2 series.☆1,066Jan 11, 2025Updated last year
- Fully open reproduction of DeepSeek-R1☆25,927Nov 24, 2025Updated 3 months ago
- 🐳 Efficient Triton implementations for "Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention"☆974Feb 5, 2026Updated last month
- Official Repo for Open-Reasoner-Zero☆2,084Jun 2, 2025Updated 9 months ago
- slime is an LLM post-training framework for RL Scaling.☆4,536Updated this week
- Lightning-Fast RL for LLM Reasoning and Agents. Made Simple & Flexible.☆4,441Updated this week
- FlashMLA: Efficient Multi-head Latent Attention Kernels☆12,511Feb 6, 2026Updated last month
- ☆3,471Mar 7, 2025Updated last year
- ☆19May 17, 2025Updated 9 months ago
- coded with and corrected by Google Anti-Gravity☆13Nov 23, 2025Updated 3 months ago
- An open-source RL (DemyAgent & RLAnything) for training LLM-based agents — supporting GRPO, PPO, RLHF, multi-turn reasoning, tool use, an…☆317Feb 27, 2026Updated last week
- A bibliography and survey of the papers surrounding o1☆1,212Nov 16, 2024Updated last year
- A benchmark for conversational bargaining by language models. In each 20‑round match one LLM plays buyer, one plays seller, and both hold…☆34Aug 21, 2025Updated 6 months ago
- Qwen3-VL is the multimodal large language model series developed by Qwen team, Alibaba Cloud.☆18,505Jan 30, 2026Updated last month
- Contexts Optical Compression☆22,657Jan 27, 2026Updated last month
- DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling☆6,230Feb 27, 2026Updated last week
- Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models☆3,837Jan 14, 2026Updated last month
- Training Large Language Model to Reason in a Continuous Latent Space☆1,529Aug 12, 2025Updated 6 months ago
- A version of verl to support diverse tool use☆889Mar 2, 2026Updated last week
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 5 months ago
- Ring-V2 is a reasoning MoE LLM provided and open-sourced by InclusionAI.☆95Oct 23, 2025Updated 4 months ago