google-deepmind / funsearchLinks
☆994Updated last year
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- LLMs as Copilots for Theorem Proving in Lean☆1,215Updated 2 weeks ago
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,407Updated last year
- The official implementation of Self-Play Fine-Tuning (SPIN)☆1,228Updated last year
- ☆2,545Updated last year
- Official repository of Evolutionary Optimization of Model Merging Recipes☆1,396Updated last year
- official code for "Large Language Models as Optimizers"☆689Updated last year
- A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.☆2,971Updated 2 weeks ago
- ☆728Updated 2 years ago
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,112Updated last year
- ☆1,032Updated last year
- [ICML 2024] Official repository for "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models"☆814Updated last year
- ☆4,752Updated last week
- AIDE: AI-Driven Exploration in the Space of Code. The machine Learning engineering agent that automates AI R&D.☆1,120Updated 2 months ago
- Evolution Through Large Models☆737Updated 2 years ago
- Reaching LLaMA2 Performance with 0.1M Dollars☆986Updated last year
- ☆481Updated last year
- Code for Quiet-STaR☆742Updated last year
- System 2 Reasoning Link Collection☆869Updated 10 months ago
- Meta-Learning for Compositionality (MLC) for modeling human behavior☆146Updated 2 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 9 months ago
- ☆514Updated 2 weeks ago
- ☆1,066Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,083Updated 2 years ago
- MLE-bench is a benchmark for measuring how well AI agents perform at machine learning engineering☆1,286Updated last week
- ☆553Updated last year
- ☆1,095Updated last year
- A library for generative social simulation☆1,155Updated this week
- GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection☆1,639Updated last year
- The PyTorch implementation of Generative Pre-trained Transformers (GPTs) using Kolmogorov-Arnold Networks (KANs) for language modeling☆724Updated last year
- Reverse Engineering the Abstraction and Reasoning Corpus☆331Updated 11 months ago