Alternatives and similar repositories for funsearch:

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

• deep-symbolic-mathematics / TPSR
  [NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
  ☆63Updated 2 months ago
• deep-symbolic-mathematics / Multimodal-Math-Pretraining
  [ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-t…
  ☆50Updated 3 months ago
• expz / quiet-star
  Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)
  ☆50Updated 5 months ago
• deep-symbolic-mathematics / LLM-SR
  This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
  ☆55Updated 2 months ago
• facebookresearch / symbolicregression
  SR based on LLMs.
  ☆92Updated 2 years ago
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆34Updated 5 months ago
• rmshin / llm-mcts
  ☆32Updated 7 months ago
• zoenguyenramirez / arc-prize-2024
  ☆14Updated 2 months ago
• omron-sinicx / srsd-benchmark
  [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
  ☆32Updated 10 months ago
• danielmamay / grokking
  Implementation of OpenAI's 'Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets' paper.
  ☆35Updated last year
• ml-jku / DIffUCO
  ☆34Updated 2 months ago
• samholt / DeepGenerativeSymbolicRegression
  Deep Generative Symbolic Regression Code
  ☆20Updated last year
• McGill-NLP / VinePPO
  Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
  ☆114Updated 2 months ago
• AGI-Edgerunners / LLM-Optimizers-Papers
  Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.
  ☆233Updated 10 months ago
• scicode-bench / SciCode
  A benchmark that challenges language models to code solutions for scientific problems
  ☆97Updated this week
• shunzh / Code-AI-Tree-Search
  ☆112Updated 6 months ago
• facebookresearch / recur
  symbolic regression
  ☆38Updated 2 years ago
• WooooDyy / LLM-Reverse-Curriculum-RL
  Implementation of the ICML 2024 paper "Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning" pr…
  ☆87Updated 11 months ago
• bin123apple / MACM
  MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
  ☆77Updated 6 months ago
• andyljones / boardlaw
  Scaling scaling laws with board games.
  ☆45Updated last year
• RayZhhh / funsearch
  Implementation for "Mathematical discoveries from program search with large language models".
  ☆17Updated 9 months ago
• microsoft / stop
  Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generation
  ☆38Updated last year
• EdinburghNLP / torch-adaptive-imle
  ☆34Updated last month
• tennisonliu / LLAMBO
  Official Repository for LLAMBO "Large Language Models to Enhance Bayesian Optimization"
  ☆48Updated last month
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆73Updated 5 months ago
• you68681 / GPAR
  ☆21Updated 9 months ago
• AIMO-CMU-MATH / CMU_MATH-AIMO
  ☆65Updated 6 months ago
• cmu-mind / RISE
  ☆27Updated 2 months ago
• zhaoxlpku / SubgoalXL
  ☆22Updated 5 months ago
• esteng / regal_program_learning
  ☆22Updated 4 months ago