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
  ☆97Updated 7 months ago
• Silent-Zebra / twisted-smc-lm
  ☆30Updated 4 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated 11 months ago
• clement-bonnet / lpn
  Latent Program Network (from the "Searching Latent Program Spaces" paper)
  ☆93Updated 5 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆175Updated 3 weeks ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆45Updated last year
• kenjyoung / mctx_learning_demo
  ☆52Updated 2 years ago
• ml-jku / DIffUCO
  ☆52Updated 2 months ago
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆59Updated last year
• iliao2345 / CompressARC
  ☆174Updated 4 months ago
• openai / lean-gym
  ☆191Updated 2 years ago
• ConfeitoHS / arcle
  A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
  ☆68Updated 11 months ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆90Updated 7 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆288Updated 6 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆67Updated this week
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 9 months ago
• yixiaoer / einshard
  Einsum-like high-level array sharding API for JAX
  ☆35Updated last year
• probcomp / genlm-control
  ☆10Updated 3 months ago
• neuroevobench / neuroevobench
  Neuroevolution Benchmark in JAX 🦕
  ☆39Updated last year
• facebookresearch / oni
  Learn online intrinsic rewards from LLM feedback
  ☆42Updated 7 months ago
• khalil-research / ARGA-AAAI23
  Abstract Reasoning with Graph Abstractions (ARGA) implementation
  ☆61Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆52Updated 2 years ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆37Updated last year
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆78Updated last year
• you68681 / GPAR
  ☆23Updated last year
• facebookresearch / recur
  symbolic regression
  ☆39Updated 3 years ago
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆78Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago