Collection of LLM completions for reasoning-gym task datasets
☆32Jul 4, 2025Updated last year
Alternatives and similar repositories for reasoning-gym-eval
Users that are interested in reasoning-gym-eval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Building the cognitive-core to solve ARC-AGI-2☆28Feb 2, 2025Updated last year
- A minimal hackable implementation of policy gradient methods (GRPO, PPO, REINFORCE)☆18Feb 20, 2026Updated 8 months ago
- A TinyStories LM with SAEs and transcoders☆16Aug 19, 2026Updated 2 months ago
- RL models to play Sokoban. The fastest recipe wins.☆35Oct 18, 2026Updated 2 weeks ago
- Incentivized Training over Wide Web with 1000x model compression.☆22Oct 30, 2024Updated 2 years ago
- 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.
- Repository for the SVD directions less wrong post☆12Dec 18, 2022Updated 3 years ago
- ☆22Oct 26, 2026Updated last week
- OpenPipe Reinforcement Learning Experiments☆34Mar 14, 2025Updated last year
- ☆14Oct 6, 2026Updated last month
- ☆11Feb 9, 2024Updated 2 years ago
- Evaluating language models on word puzzle games☆10Oct 25, 2024Updated 2 years ago
- ☆28May 20, 2026Updated 5 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆21Jul 9, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The original Shared Recurrent Memory Transformer implementation☆39Aug 24, 2026Updated 2 months ago
- Multi-agent research system using Instructor for structured LLM outputs and Exa.ai for neural search☆19Jun 15, 2025Updated last year
- Documenting large text datasets 🖼️ 📚☆14Dec 17, 2024Updated last year
- ☆16Jun 26, 2026Updated 4 months ago
- interplanetary intelligence☆27Apr 10, 2026Updated 6 months ago
- CS194-196 Course Project☆15Feb 20, 2025Updated last year
- ☆23Mar 11, 2026Updated 7 months ago
- Expand -> Retrieve -> Rerank - simple method with strong results on BRIGHT benchmark☆22Aug 22, 2025Updated last year
- Reinforcement learning agents that can beat a human in a game of laser hockey. Team project on the course Reinforcement Learning WS 20/21…☆10Mar 18, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Lean4 Code Editor☆19Oct 9, 2026Updated 3 weeks ago
- Benchmark for agentic spatial data analysis☆11Updated this week
- A toolkit for automated alignment research.☆16Jul 3, 2026Updated 4 months ago
- A tool to summarize and analyze graph-node query logs☆12Mar 22, 2022Updated 4 years ago
- Train your own SOTA deductive reasoning model☆112Mar 6, 2025Updated last year
- 🐦⬛ Atmospheric colorscheme for terminals and editors☆13Apr 27, 2026Updated 6 months ago
- Multilingual Reasoning Gym enables the procedural generation of perfectly parallel multilingual reasoning datasets☆13Sep 11, 2026Updated last month
- Paper lists about 'Constitutional AI System' or 'AI under Ethical Guidelines'☆13Mar 2, 2024Updated 2 years ago
- The most comprehensive comparison of platforms offering cloud runtime / sandbox / VM compute for agents. By boat.dev.☆36Oct 14, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ptdeco is a library for model optimization by matrix decomposition built on top of PyTorch☆10May 7, 2025Updated last year
- wip☆11Jan 9, 2026Updated 9 months ago
- Brax + Pufferlib + CARBS for gpu-accelerated robotics RL☆12Jun 12, 2025Updated last year
- References and coding homework in matrix analysis and application course in UCAS☆13Sep 2, 2024Updated 2 years ago
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆54Jul 28, 2026Updated 3 months ago
- Simple svelte wrappers for @builder.io/partytown☆12Oct 31, 2022Updated 4 years ago
- QuestBench: Can LLMs ask the right question to acquire information in reasoning tasks?☆46Jun 30, 2026Updated 4 months ago