RL models to play Sokoban. The fastest recipe wins.
☆35Oct 18, 2026Updated 3 weeks ago
Alternatives and similar repositories for sokoban_speedrun
Users that are interested in sokoban_speedrun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal hackable implementation of policy gradient methods (GRPO, PPO, REINFORCE)☆18Feb 20, 2026Updated 8 months ago
- Implementation for ReFactor GNNs☆15Jun 10, 2025Updated last year
- Collection of LLM completions for reasoning-gym task datasets☆32Jul 4, 2025Updated last year
- ☆17Aug 24, 2026Updated 2 months ago
- The best ChatGPT that $100 can buy.☆61Oct 27, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆14Apr 8, 2026Updated 7 months ago
- Official code for the paper: "Simple LLM Baselines are Competitive for Model Diffing"☆11Feb 13, 2026Updated 8 months ago
- ☆56Oct 26, 2026Updated 2 weeks ago
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 8 months ago
- ☆11Feb 2, 2026Updated 9 months ago
- ☆39Apr 15, 2026Updated 6 months ago
- JAX code for the paper "Control-Oriented Model-Based Reinforcement Learning with Implicit Differentiation"☆43Jun 14, 2021Updated 5 years ago
- Implementation for IceCache: Memory-Efficient KV-cache Management for Long-Sequence LLMs (ICLR 2026).☆25Jun 9, 2026Updated 5 months ago
- Fused MoE kernel☆24Oct 30, 2026Updated last week
- 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.
- Learning MLPs to replace GNN☆10Jun 3, 2023Updated 3 years ago
- Code for reproducing https://arxiv.org/abs/2211.03128☆15Sep 7, 2023Updated 3 years ago
- Levi-Civita field implementation in Lean 4 for computing with infinities and infinitesimals.☆11Dec 28, 2024Updated last year
- ☆14Aug 3, 2026Updated 3 months ago
- A prettier rocm-smi output with color-coded GPU stats☆11Feb 19, 2026Updated 8 months ago
- ☆13Oct 3, 2026Updated last month
- One RL training loop that runs CartPole on a laptop and disaggregated async RLVR on a GPU cluster. About 1,800 lines across 7 files. No R…☆13Oct 8, 2026Updated last month
- Randomized Linear Algebra in Python☆13Mar 21, 2017Updated 9 years ago
- A Lean Formalization Benchmark for Advanced Mathematics☆14Nov 2, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Nov 2, 2026Updated last week
- Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal☆13Sep 22, 2026Updated last month
- Implementation of inpainting-guided policy optimization for diffusion large language models.☆13Dec 27, 2025Updated 10 months ago
- ☆13Apr 25, 2022Updated 4 years ago
- ☆18Jun 2, 2026Updated 5 months ago
- Concept Learning Dynamics☆18Oct 29, 2024Updated 2 years ago
- Code for the paper "Stable Gradients for Stable Learning at Scale in Deep Reinforcement Learning". Great performance in many environments…☆39Oct 24, 2025Updated last year
- flexible meta-learning in jax☆17Oct 19, 2023Updated 3 years ago
- SAGE: Semantic Audio Generative Encoder. A compact Swin V2 VAE for 44.1 kHz stereo music with a CLAP-aligned latent (official code)☆25Nov 4, 2026Updated last 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.
- ☆25Jun 24, 2026Updated 4 months ago
- [ICLR 2026] The official implementation of "Reinforcement Learning via Value Gradient Flow"☆15Apr 17, 2026Updated 6 months ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated 2 months ago
- [COLM 2026] Official implementation for "GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learning"☆15Mar 4, 2026Updated 8 months ago
- PPO (Proximal Policy Optimization) agent for training on Atari environments using C++ with libtorch, integrated with the Arcade Learning …☆10Jun 14, 2026Updated 4 months ago
- A training codebase for Zeroth-Order Optimization☆14Nov 4, 2026Updated last week
- ☆22Updated this week
Are these results useful?