Alternatives and similar repositories for funsearch

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

• SakanaAI / evolutionary-model-merge
  Official repository of Evolutionary Optimization of Model Merging Recipes
  ☆1,382Updated 11 months ago
• lucidrains / self-rewarding-lm-pytorch
  Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
  ☆1,403Updated last year
• openai / weak-to-strong
  ☆2,551Updated last year
• microsoft / ToRA
  ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…
  ☆1,104Updated last year
• uclaml / SPIN
  The official implementation of Self-Play Fine-Tuning (SPIN)
  ☆1,217Updated last year
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,185Updated this week
• google-deepmind / opro
  official code for "Large Language Models as Optimizers"
  ☆659Updated 11 months ago
• lapisrocks / LanguageAgentTreeSearch
  [ICML 2024] Official repository for "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models"
  ☆799Updated last year
• myshell-ai / JetMoE
  Reaching LLaMA2 Performance with 0.1M Dollars
  ☆987Updated last year
• ezelikman / quiet-star
  Code for Quiet-STaR
  ☆741Updated last year
• trotsky1997 / MathBlackBox
  ☆1,035Updated 11 months ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆727Updated 2 months ago
• CarperAI / OpenELM
  Evolution Through Large Models
  ☆735Updated 2 years ago
• EleutherAI / math-lm
  ☆1,090Updated last year
• google-deepmind / alphadev
  ☆722Updated 2 years ago
• facebookresearch / Pearl
  A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.
  ☆2,953Updated 2 weeks ago
• project-numina / aimo-progress-prize
  ☆471Updated last year
• google-deepmind / alphageometry
  ☆4,700Updated 5 months ago
• AGI-Edgerunners / LLM-Optimizers-Papers
  Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.
  ☆253Updated last year
• openai / prm800k
  800,000 step-level correctness labels on LLM solutions to MATH problems
  ☆2,073Updated 2 years ago
• google-deepmind / alphaevolve_results
  ☆238Updated 5 months ago
• google-deepmind / concordia
  A library for generative social simulation
  ☆1,076Updated 2 weeks ago
• rgreenblatt / arc_draw_more_samples_pub
  Draw more samples
  ☆195Updated last year
• michaelhodel / re-arc
  Reverse Engineering the Abstraction and Reasoning Corpus
  ☆312Updated 8 months ago
• ekinakyurek / marc
  Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"
  ☆338Updated last week
• arcprize / ARC-AGI-2
  ☆525Updated 6 months ago
• michaelhodel / arc-dsl
  Domain Specific Language for the Abstraction and Reasoning Corpus
  ☆311Updated last year
• jonppe / funsearch
  Simple working implementation for google-deepmind FunSearch algorithm
  ☆21Updated last year
• openai / automated-interpretability
  ☆1,055Updated last year
• google-deepmind / tracr
  ☆547Updated last year