google-deepmind / funsearchLinks
☆936Updated last year
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- ☆2,539Updated last year
- The official implementation of Self-Play Fine-Tuning (SPIN)☆1,203Updated last year
- Official repository of Evolutionary Optimization of Model Merging Recipes☆1,368Updated 10 months ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,399Updated last year
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,094Updated last year
- official code for "Large Language Models as Optimizers"☆633Updated 10 months ago
- LLMs as Copilots for Theorem Proving in Lean☆1,168Updated 3 weeks ago
- A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.☆2,941Updated this week
- ☆717Updated 2 years ago
- [ICML 2024] Official repository for "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models"☆795Updated last year
- Code for Quiet-STaR☆740Updated last year
- ☆1,034Updated 9 months ago
- Tool for data extraction and interacting with Lean programmatically.☆708Updated last month
- Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.☆249Updated last year
- A library for generative social simulation☆1,038Updated last week
- Reaching LLaMA2 Performance with 0.1M Dollars☆985Updated last year
- GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection☆1,610Updated 11 months ago
- ☆1,048Updated last year
- Mamba-Chat: A chat LLM based on the state-space model architecture 🐍☆932Updated last year
- LLM verified with Monte Carlo Tree Search☆281Updated 6 months ago
- Stanford NLP Python library for understanding and improving PyTorch models via interventions☆819Updated last month
- LDB: A Large Language Model Debugger via Verifying Runtime Execution Step by Step (ACL'24)☆560Updated last year
- System 2 Reasoning Link Collection☆855Updated 6 months ago
- ☆546Updated last year
- Evolution Through Large Models☆732Updated last year
- Simple working implementation for google-deepmind FunSearch algorithm☆21Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,054Updated 2 years ago
- A curated list of Large Language Model (LLM) Interpretability resources.☆1,420Updated 3 months ago
- ☆665Updated 11 months ago
- Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"☆2,488Updated 10 months ago