☆302Jan 5, 2026Updated 9 months ago
Alternatives and similar repositories for alphaevolve_results
Users that are interested in alphaevolve_results are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆239Jul 11, 2026Updated 3 months ago
- OpenAlpha_Evolve is an open-source Python framework inspired by the groundbreaking research on autonomous coding agents like DeepMind's A…☆1,055May 31, 2025Updated last year
- Open-source implementation of AlphaEvolve☆7,673Updated this week
- DeepMind’s AlphaEvolve coding agent for trading strategies.☆131Jun 4, 2025Updated last year
- Lean formalization of CFSG☆19Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- DeepEvolve is a research and coding agent for new algorithm discovery in different science domains with Deep Research and AlphaEvolve.☆144Oct 11, 2025Updated last year
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆119Jun 24, 2026Updated 4 months ago
- ☆19Dec 9, 2025Updated 10 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 4 months ago
- ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution 🧬☆1,486Oct 5, 2026Updated 3 weeks ago
- ☆369Jul 29, 2025Updated last year
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆29Updated this week
- Repo for "AlphaResearch: Accelerating New Algorithm Discovery with Language Models"☆61Nov 12, 2025Updated 11 months ago
- ☆650May 24, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- CodeEvolve is an open-source evolutionary coding agent for algorithm discovery and optimization.☆153Apr 8, 2026Updated 6 months ago
- repo for paper https://arxiv.org/abs/2504.13837☆355Jul 27, 2026Updated 3 months ago
- finding new ramsey bounds through scaling autoresearch☆49May 13, 2026Updated 5 months ago
- Darwin Gödel Machine: Open-Ended Evolution of Self-Improving Agents☆2,467Aug 13, 2025Updated last year
- ☆1,139Feb 5, 2024Updated 2 years ago
- ☆327Sep 11, 2025Updated last year
- ☆807Oct 20, 2026Updated last week
- Code for the paper "Searching Privacy Risks in Multi-Agent Systems via Simulation"☆25Oct 13, 2025Updated last year
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆182Feb 27, 2026Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [ICML 24] A novel automated neuron explanation framework that can accurately describe poly-semantic concepts in deep neural networks☆14May 2, 2025Updated last year
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆123Mar 28, 2025Updated last year
- ☆746May 22, 2025Updated last year
- FROM $f(x)$ AND $g(x)$ TO $f(g(x))$: LLMs Learn New Skills in RL by Composing Old Ones☆73Jan 26, 2026Updated 9 months ago
- ☆241Apr 4, 2025Updated last year
- Repository of paper "How Likely Do LLMs with CoT Mimic Human Reasoning?"☆23Feb 19, 2025Updated last year
- ☆12Jan 17, 2025Updated last year
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆270Oct 7, 2026Updated 3 weeks ago
- Zeta implemantion of "Rethinking Attention: Exploring Shallow Feed-Forward Neural Networks as an Alternative to Attention Layers in Trans…☆12Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆4,897Jan 13, 2026Updated 9 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆116Jan 23, 2025Updated last year
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- [NeurIPS 2025] Reinforcement Learning for Reasoning in Large Language Models with One Training Example☆453Mar 11, 2026Updated 7 months ago
- Benchmarking Dark Patterns in LLMs (ICLR 2025)☆19Mar 29, 2025Updated last year
- The official repository of ALE-Bench☆235Updated this week
- ☆31Nov 20, 2025Updated 11 months ago