Alternatives and similar repositories for funsearch

Users that are interested in funsearch are comparing it to the libraries listed below

• lowrollr / turbozero
  fast + parallel AlphaZero in JAX
  ☆109Updated last year
• google-deepmind / alphaevolve_repository_of_problems
  ☆191Updated 2 weeks ago
• ConfeitoHS / arcle
  A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
  ☆69Updated last year
• mxbi / dreamcoder-arc
  Solving the Abstraction & Reasoning Corpus with DreamCoder
  ☆57Updated last year
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆107Updated 2 months ago
• facebookresearch / minimax
  Efficient baselines for autocurricula in JAX.
  ☆206Updated last year
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆45Updated last year
• rlglab / minizero
  [IEEE ToG] MiniZero: An AlphaZero and MuZero Training Framework
  ☆119Updated 6 months ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• ml-jku / DIffUCO
  ☆65Updated 3 months ago
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆53Updated 2 years ago
• openai / lean-gym
  ☆200Updated 3 years ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆112Updated last year
• iliao2345 / CompressARC
  ☆215Updated last month
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• sethkarten / pokechamp
  Official repository of the spotlight ICML 2025 paper, PokeChamp: an Expert-level Minimax Language Agent.
  ☆135Updated 3 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• flowersteam / SOAR
  Implementation of SOAR
  ☆49Updated 4 months ago
• xu3kev / BARC
  Bootstrapping ARC
  ☆155Updated last year
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆70Updated 3 weeks ago
• keraJLi / synthetic-gymnax
  Drop-in environment replacements that make your RL algorithm train faster.
  ☆21Updated last year
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆58Updated last year
• danielmamay / grokking
  Implementation of OpenAI's 'Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets' paper.
  ☆42Updated 2 years ago
• lowrollr / mctx-az
  Monte Carlo tree search in JAX, with functionality to continue search from a previous subtree
  ☆26Updated 9 months ago
• gabrfarina / exp-a-spiel
  Exploitability calculation for imperfect-information game benchmarks
  ☆32Updated 10 months ago
• you68681 / GPAR
  ☆23Updated last year
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆81Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆316Updated last year
• agentification / RAFA_code
  ☆144Updated last year