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
  ☆107Updated 11 months ago
• ml-jku / DIffUCO
  ☆63Updated 2 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• openai / lean-gym
  ☆194Updated 2 years ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆106Updated 3 weeks ago
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆80Updated last year
• lio-wong / dreamcoder
  ☆74Updated 3 years ago
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆45Updated last year
• kenjyoung / mctx_learning_demo
  ☆53Updated 2 years ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆309Updated 10 months ago
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆31Updated 4 months ago
• facebookresearch / motif
  Intrinsic Motivation from Artificial Intelligence Feedback
  ☆133Updated 2 years ago
• lowrollr / mctx-az
  Monte Carlo tree search in JAX, with functionality to continue search from a previous subtree
  ☆25Updated 7 months ago
• rlglab / minizero
  [IEEE ToG] MiniZero: An AlphaZero and MuZero Training Framework
  ☆115Updated 4 months ago
• facebookresearch / minimax
  Efficient baselines for autocurricula in JAX.
  ☆201Updated last year
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆54Updated 2 years ago
• Silent-Zebra / twisted-smc-lm
  ☆31Updated 8 months ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆169Updated last week
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆113Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year
• ConfeitoHS / arcle
  A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
  ☆69Updated last year
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆197Updated 2 months ago
• luchris429 / JaxLife
  An Open-Ended Agentic Simulator
  ☆56Updated last year
• bwfbowen / muax
  A project that provides help for using DeepMind's mctx on gym-style environments.
  ☆63Updated last year
• mxbi / dreamcoder-arc
  Solving the Abstraction & Reasoning Corpus with DreamCoder
  ☆54Updated last year
• Newclid / Newclid
  Automatic solver for plane geometry problems.
  ☆78Updated 3 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• AllanYangZhou / universal_neural_functional
  ☆53Updated last year
• you68681 / GPAR
  ☆23Updated last year