DeepMathLLM / DeepMathLinks
一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。
☆17Updated 8 months ago
Alternatives and similar repositories for DeepMath
Users that are interested in DeepMath are comparing it to the libraries listed below
Sorting:
- ☆45Updated 7 months ago
- Resa: Transparent Reasoning Models via SAEs☆47Updated 4 months ago
- ☆30Updated 4 months ago
- A Recipe for Building LLM Reasoners to Solve Complex Instructions☆29Updated 3 months ago
- Bayes-Adaptive RL for LLM Reasoning☆45Updated 8 months ago
- Code for paper: Optimizing Length Compression in Large Reasoning Models☆27Updated 3 months ago
- ☆42Updated last year
- Multi-Layer Key-Value sharing experiments on Pythia models☆34Updated last year
- [ICLR 2025] Weighted-Reward Preference Optimization for Implicit Model Fusion☆13Updated 10 months ago
- [ICLR 2026] GRAPE: Group Representational Position Encoding (https://arxiv.org/abs/2512.07805)☆76Updated last week
- The official repo for “Unleashing the Reasoning Potential of Pre-trained LLMs by Critique Fine-Tuning on One Problem” [EMNLP25]☆33Updated 5 months ago
- Codes for our paper "AgentMonitor: A Plug-and-Play Framework for Predictive and Secure Multi-Agent Systems"☆13Updated last year
- ☆32Updated last week
- [ACL 2025] A Generalizable and Purely Unsupervised Self-Training Framework☆71Updated 8 months ago
- AgentSynth: Scalable Task Generation for Generalist Computer-Use Agents☆37Updated 4 months ago
- Lottery Ticket Adaptation☆39Updated last year
- CS194-196 Course Project☆14Updated 11 months ago
- ☆33Updated 6 months ago
- [ICLR 2026] RuleReasoner: Reinforced Rule-based Reasoning via Domain-aware Dynamic Sampling☆30Updated this week
- ☆76Updated 3 weeks ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆31Updated 5 months ago
- implementation of dualformer☆24Updated 11 months ago
- ☆42Updated last year
- MARSHAL: Incentivizing Multi-Agent Reasoning via Self-Play with Strategic LLMs☆35Updated 2 weeks ago
- An official implementation of Random Policy Valuation is Enough for LLM Reasoning with Verifiable Rewards☆36Updated 4 months ago
- Mixture-of-Basis-Experts for Compressing MoE-based LLMs☆26Updated last month
- ☆19Updated 10 months ago
- P1: Mastering Physics Olympiads with Reinforcement Learning☆73Updated last month
- [ICLR 2026] Geometric-Mean Policy Optimization☆99Updated last week
- CODA: Coordinating the Cerebrum and Cerebellum for a Dual-Brain Computer Use Agent with Decoupled Reinforcement Learning☆33Updated 5 months ago