Socratic-Zero is a fully autonomous framework that generates high-quality training data for mathematical reasoning
☆37Oct 26, 2025Updated 8 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"☆23Mar 4, 2025Updated last year
- The officalimplement of dLLM-Factory☆25Jul 12, 2025Updated last year
- ☆75Jun 23, 2025Updated last year
- ☆17Apr 10, 2025Updated last year
- Long Context Research☆37Jan 26, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Feb 10, 2026Updated 5 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 3 months ago
- ☆41May 26, 2026Updated 2 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"☆166Mar 2, 2026Updated 4 months ago
- ☆35Nov 11, 2025Updated 8 months ago
- Use Hermes Agent as the control plane for local coding agents like Codex, Kimi Code, Claude Code, OpenCode, and Gemini CLI.☆24Updated this week
- 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.
- 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 5 months ago
- (NeurIPS 2025 🔥) Official implementation for "Efficient Multi-modal Large Language Models via Progressive Consistency Distillation"☆49Feb 11, 2026Updated 5 months ago
- [EMNLP'25] AutoSDT is a fully automatic pipeline to collect data-driven scientific coding tasks to train co-scientist models.☆21Aug 11, 2025Updated 11 months ago
- [ICML 2025] Predictive Data Selection: The Data That Predicts Is the Data That Teaches☆66Mar 4, 2025Updated last year
- ☆30Nov 5, 2024Updated last year
- The official repo of our research work "Interactive Editing for Text Summarization".☆23Jun 3, 2023Updated 3 years ago
- ☆15Sep 24, 2023Updated 2 years ago
- ☆18Oct 16, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A curated list of awesome papers on dataset reduction, including dataset distillation (dataset condensation) and dataset pruning (coreset…☆61Jan 14, 2025Updated last year
- [ACL2026]Code Repo for paper "Scaling Behaviors of LLM Reinforcement Learning Post-Training"☆24Jul 1, 2026Updated 3 weeks ago
- ☆13Jun 18, 2025Updated last year
- [ICLR 2025] Weighted-Reward Preference Optimization for Implicit Model Fusion☆14Mar 17, 2025Updated last year
- [NeurIPS 2025] RL Tango: Reinforcing Generator and Verifier Together for Language Reasoning☆57Oct 23, 2025Updated 9 months ago
- 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
- SR²AM: Efficient Agentic Reasoning Through Self-Regulated Simulative Planning☆21May 22, 2026Updated 2 months ago
- ☆18Apr 18, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [ICLR 2026] Do Not Let Low-Probability Tokens Over-Dominate in RL for LLMs☆46May 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 6 months ago
- Reinforcing General Reasoning without Verifiers☆102Jun 24, 2025Updated last year
- Repository for the Q-Filters method (https://arxiv.org/pdf/2503.02812)☆34Mar 7, 2025Updated last year
- 📚 Collection of token-level model compression resources.☆201Sep 3, 2025Updated 10 months ago
- Minimal and highly hackable implementation of Looped Transformers with GPT☆25Mar 8, 2026Updated 4 months ago