google-deepmind / alphadev

Related projects ⓘ

Alternatives and complementary repositories for alphadev

• google-deepmind / mctx
  Monte Carlo tree search in JAX
  ☆2,357Updated 3 months ago
• google-deepmind / alphatensor
  ☆2,688Updated 6 months ago
• YeWR / EfficientZero
  Open-source codebase for EfficientZero, from "Mastering Atari Games with Limited Data" at NeurIPS 2021.
  ☆870Updated 11 months ago
• google-deepmind / funsearch
  ☆741Updated 9 months ago
• eloialonso / iris
  Transformers are Sample-Efficient World Models. ICLR 2023, notable top 5%.
  ☆804Updated last month
• luchris429 / purejaxrl
  Really Fast End-to-End Jax RL Implementations
  ☆724Updated 2 months ago
• shacklettbp / madrona
  ☆318Updated this week
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆998Updated 2 weeks ago
• tinygrad / teenygrad
  If tinygrad wasn't small enough for you...
  ☆654Updated 8 months ago
• google / evojax
  ☆845Updated 4 months ago
• facebookresearch / CompilerGym
  Reinforcement learning environments for compiler and program optimization tasks
  ☆914Updated last month
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆69Updated 7 months ago
• salesforce / warp-drive
  Extremely Fast End-to-End Deep Multi-Agent Reinforcement Learning Framework on a GPU (JMLR 2022)
  ☆464Updated 3 months ago
• raminmh / CfC
  Closed-form Continuous-time Neural Networks
  ☆902Updated 4 months ago
• sotetsuk / pgx
  ♟️ Vectorized RL game environments in JAX
  ☆412Updated this week
• nnaisense / evotorch
  Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
  ☆1,016Updated this week
• microsoft / mup
  maximal update parametrization (µP)
  ☆1,402Updated 4 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆573Updated last month
• ExtensityAI / symbolicai
  Compositional Differentiable Programming Library
  ☆981Updated last week
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆1,667Updated last year
• koulanurag / muzero-pytorch
  Pytorch Implementation of MuZero
  ☆343Updated last year
• google / vizier
  Python-based research interface for blackbox and hyperparameter optimization, based on the internal Google Vizier Service.
  ☆1,481Updated this week
• google-deepmind / alphastar
  ☆417Updated 2 years ago
• sail-sg / envpool
  C++-based high-performance parallel environment execution engine (vectorized env) for general RL environments.
  ☆1,095Updated 3 months ago
• google-deepmind / mathematics_conjectures
  ☆367Updated 2 years ago
• AgileRL / AgileRL
  Streamlining reinforcement learning with RLOps. State-of-the-art RL algorithms and tools.
  ☆592Updated this week
• google-deepmind / reverb
  Reverb is an efficient and easy-to-use data storage and transport system designed for machine learning research
  ☆708Updated 2 weeks ago
• google-deepmind / rlax
  ☆1,263Updated last month
• facebookresearch / diplomacy_cicero
  Code for Cicero, an AI agent that plays the game of Diplomacy with open-domain natural language negotiation.
  ☆1,304Updated last year
• idrori / mathQ
  Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot …
  ☆183Updated last year