Socratic-Zero is a fully autonomous framework that generates high-quality training data for mathematical reasoning
☆37Oct 26, 2025Updated 11 months ago
Alternatives and similar repositories for Socratic-Zero
Users that are interested in Socratic-Zero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official PyTorch code for ICLR 2025 paper "Gnothi Seauton: Empowering Faithful Self-Interpretability in Black-Box Models"☆24Mar 4, 2025Updated last year
- Code for ACL 2025 Main paper "Data Whisperer: Efficient Data Selection for Task-Specific LLM Fine-Tuning via Few-Shot In-Context Learning…☆53Aug 4, 2025Updated last year
- The officalimplement of dLLM-Factory☆25Jul 12, 2025Updated last year
- ☆75Jun 23, 2025Updated last year
- ☆17Apr 10, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Long Context Research☆38Aug 31, 2026Updated last month
- Code for "Matching Features, Not Tokens: Energy-Based Fine-Tuning of Language Models".☆23Mar 16, 2026Updated 6 months ago
- ☆15Feb 10, 2026Updated 8 months ago
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Cascade Speculative Drafting☆33Apr 2, 2024Updated 2 years ago
- ReplayCode — first open-source rebuild of Claude Code that actually runs. Built from decompiled source with Node.js/esbuild☆20Apr 1, 2026Updated 6 months ago
- ☆42May 26, 2026Updated 4 months ago
- Implementation for NeurIPS 2024 oral paper: Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation☆16Jan 27, 2025Updated last year
- [NeurIPS 2025] Implementation for the paper "The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning"☆172Mar 2, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Use Hermes Agent as the control plane for local coding agents like Codex, Kimi Code, Claude Code, OpenCode, and Gemini CLI.☆41Jul 22, 2026Updated 2 months ago
- Formal geometric problem solver based on FormalGeo.☆18Apr 18, 2024Updated 2 years ago
- (ICLR 2026 🔥) Code for "The Devil behind the mask: An emergent safety vulnerability of Diffusion LLMs"☆79Feb 9, 2026Updated 8 months ago
- (NeurIPS 2025 🔥) Official implementation for "Efficient Multi-modal Large Language Models via Progressive Consistency Distillation"☆49Feb 11, 2026Updated 8 months ago
- [EMNLP'25] AutoSDT is a fully automatic pipeline to collect data-driven scientific coding tasks to train co-scientist models.☆23Aug 11, 2025Updated last year
- Self-Hinting Language Models Enhance Reinforcement Learning☆28Mar 28, 2026Updated 6 months ago
- ☆30Nov 5, 2024Updated last year
- ☆15Sep 24, 2023Updated 3 years ago
- ☆18Oct 16, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A curated list of awesome papers on dataset reduction, including dataset distillation (dataset condensation) and dataset pruning (coreset…☆62Jan 14, 2025Updated last year
- [ACL2026 MainConference]Code Repo for paper "Scaling Behaviors of LLM Reinforcement Learning Post-Training"☆26Jul 1, 2026Updated 3 months ago
- ☆14Jun 18, 2025Updated last year
- [ICLR 2025] Weighted-Reward Preference Optimization for Implicit Model Fusion☆14Mar 17, 2025Updated last year
- An implementation of LazyLLM token pruning for LLaMa 2 model family.☆13Jan 6, 2025Updated last year
- Implementation of "Decoding-time Realignment of Language Models", ICML 2024.☆21Jun 17, 2024Updated 2 years ago
- ☆10Oct 22, 2021Updated 4 years ago
- SR²AM: Efficient Agentic Reasoning Through Self-Regulated Simulative Planning☆21May 22, 2026Updated 4 months ago
- An interpretable network to compute the Shapley values in a single forward propagation.☆17May 24, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18Apr 18, 2025Updated last year
- [ICLR 2026] Do Not Let Low-Probability Tokens Over-Dominate in RL for LLMs☆47May 20, 2025Updated last year
- Learning MLPs to replace GNN☆10Jun 3, 2023Updated 3 years ago
- [EMNLP 2025🔥] UNComp: Can Matrix Entropy Uncover Sparsity? -- A Compressor Design from an Uncertainty-Aware Perspective☆20Jan 7, 2026Updated 9 months ago
- Repository for the Q-Filters method (https://arxiv.org/pdf/2503.02812)☆35Mar 7, 2025Updated last year
- 📚 Collection of token-level model compression resources.☆203Sep 3, 2025Updated last year
- Minimal and highly hackable implementation of Looped Transformers with GPT☆25Mar 8, 2026Updated 7 months ago