google-deepmind / funsearchLinks
☆887Updated last year
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- ☆567Updated 2 months ago
- Reaching LLaMA2 Performance with 0.1M Dollars☆983Updated 11 months ago
- The official implementation of Self-Play Fine-Tuning (SPIN)☆1,167Updated last year
- Official repository of Evolutionary Optimization of Model Merging Recipes☆1,339Updated 6 months ago
- ☆2,527Updated last year
- Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI☆1,386Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,108Updated 2 weeks ago
- A JAX research toolkit for building, editing, and visualizing neural networks.☆1,796Updated this week
- Code for Quiet-STaR☆734Updated 10 months ago
- Tool for data extraction and interacting with Lean programmatically.☆672Updated 2 weeks ago
- Fine-tune LLM agents with online reinforcement learning☆1,197Updated last year
- Training LLMs with QLoRA + FSDP☆1,487Updated 7 months ago
- A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.☆2,863Updated last week
- Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.☆244Updated last year
- ☆493Updated 11 months ago
- System 2 Reasoning Link Collection☆838Updated 3 months ago
- A simple, performant and scalable Jax LLM!☆1,800Updated this week
- GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection☆1,572Updated 7 months ago
- ☆4,088Updated last year
- Really Fast End-to-End Jax RL Implementations☆899Updated 9 months ago
- A bibliography and survey of the papers surrounding o1☆1,201Updated 7 months ago
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,072Updated last year
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆276Updated last year
- A family of open-sourced Mixture-of-Experts (MoE) Large Language Models☆1,545Updated last year
- Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".☆368Updated last year
- Evolution Through Large Models☆725Updated last year
- [ICML 2024] Official repository for "Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models"☆760Updated 10 months ago
- Stanford NLP Python library for understanding and improving PyTorch models via interventions☆756Updated 3 weeks ago
- procedural reasoning datasets☆872Updated last week
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,015Updated 2 years ago