☆1,568Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆1,528Nov 18, 2025Updated 4 months ago
- ☆414Feb 13, 2026Updated last month
- Official implementation of Browse-Master, a tool-augmented web-search agent.☆27Aug 22, 2025Updated 7 months ago
- ☆556Aug 16, 2024Updated last year
- verl: Volcano Engine Reinforcement Learning for LLMs☆20,286Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆28May 20, 2025Updated 10 months ago
- The official implementation of A Counting-Aware Hierarchical Decoding Framework for Generalized Referring Expression Segmentation☆23Aug 17, 2025Updated 7 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,237Aug 27, 2025Updated 7 months ago
- ☆1,246Jul 18, 2025Updated 8 months ago
- Technical report of Kimina-Prover Preview.☆366Jul 10, 2025Updated 8 months ago
- 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
- ☆47Aug 5, 2025Updated 7 months ago
- ☆641Mar 20, 2026Updated last week
- The official repo of MiniMax-Text-01 and MiniMax-VL-01, large-language-model & vision-language-model based on Linear Attention☆3,375Jul 7, 2025Updated 8 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models☆3,212Apr 15, 2024Updated last year
- ☆17Jun 3, 2024Updated last year
- RLAnything & DemyAgent: General and scalable agentic RL algorithms across terminal, GUI, SWE, and tool-call settings☆405Feb 27, 2026Updated last month
- Stable-DiffCoder is a family of lightweight open-source code DLLMs(diffusion large language models) comprising base and instruct models, …☆83Mar 9, 2026Updated 3 weeks ago
- Official Repo for Open-Reasoner-Zero☆2,088Jun 2, 2025Updated 9 months ago
- ☆813Jun 9, 2025Updated 9 months ago
- Python library for solving reinforcement learning (RL) problems using generative models.☆11Feb 18, 2025Updated last year
- Lightning-Fast RL for LLM Reasoning and Agents. Made Simple & Flexible.☆4,919Updated this week
- Contexts Optical Compression☆22,761Jan 27, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Standalone repo for our Atropos integration with Thinking Machines Tinker API (https://thinkingmachines.ai/tinker/)☆20Mar 22, 2026Updated last week
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,114Feb 22, 2024Updated 2 years ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆219Feb 22, 2026Updated last month
- Fully open reproduction of DeepSeek-R1☆25,968Nov 24, 2025Updated 4 months ago
- Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models☆4,173Jan 14, 2026Updated 2 months ago
- slime is an LLM post-training framework for RL Scaling.☆5,034Updated this week
- DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling☆6,289Mar 22, 2026Updated last week
- [ACM-MM 2025 Workshop] More Is Better: A MoE-Based Emotion Recognition Framework with Human Preference Alignment.☆25Nov 25, 2025Updated 4 months ago
- s1: Simple test-time scaling☆6,650Jun 25, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Ring-V2 is a reasoning MoE LLM provided and open-sourced by InclusionAI.☆97Oct 23, 2025Updated 5 months ago
- Training Large Language Model to Reason in a Continuous Latent Space☆1,545Aug 12, 2025Updated 7 months ago
- 🐳 Efficient Triton implementations for "Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention"☆978Feb 5, 2026Updated last month
- A bidirectional pipeline parallelism algorithm for computation-communication overlap in DeepSeek V3/R1 training.☆2,936Jan 14, 2026Updated 2 months ago
- ☆3,474Mar 7, 2025Updated last year
- Reinforcement Learning via Self-Distillation (SDPO)☆689Feb 18, 2026Updated last month
- ☆25Jun 10, 2025Updated 9 months ago