Genetic programming using LLMs
☆76Mar 5, 2025Updated last year
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆41Oct 16, 2024Updated 2 years ago
- Symbolic regression package using LLMs (via funsearch) and KANs☆17Jul 4, 2026Updated 3 months ago
- ☆10Apr 19, 2026Updated 6 months ago
- [AAMAS 2025 Oral] CAMP: Collaborative Attention Model with Profiles for Vehicle Routing Problems☆32Dec 3, 2025Updated 10 months ago
- The Noperthedron does not have Rupert Property: a proof in Lean4☆22Oct 16, 2026Updated 2 weeks ago
- 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.
- ☆23Mar 24, 2025Updated last year
- [PAKDD 2024 Oral] Code for "RouteExplainer: An Explanation Framework for Vehicle Routing Problem"☆19Apr 5, 2024Updated 2 years ago
- [NeurIPS 2024] "Collaboration! Towards Robust Neural Methods for Routing Problems"☆22Nov 16, 2024Updated last year
- Source for the community blog☆11Updated this week
- [ICLR 2026] Towards Efficient Constraint Handling in Neural Solvers for Routing Problems☆16Sep 13, 2026Updated last month
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- A learnable Meta Optimizer for Combinatorial Optimization☆12Nov 29, 2024Updated last year
- Code for [ICML2025]``Monte Carlo Tree Search for Comprehensive Exploration in LLM-Based Automatic Heuristic Design``.☆88May 23, 2025Updated last year
- Official repository for GFACS☆38May 17, 2024Updated 2 years ago
- 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.
- ☆1,139Feb 5, 2024Updated 2 years ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆256Updated this week
- [ICLR 2025] Graph Assisted Offline-Online Deep Reinforcement Learning (GOODRL) for Dynamic Workflow Scheduling (DWS)☆32Jul 14, 2026Updated 3 months ago
- [AAAI-25] HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMs☆40Jul 6, 2026Updated 3 months ago
- multi-task learning for routing problem☆25Dec 2, 2025Updated 10 months ago
- ☆16Aug 26, 2026Updated 2 months ago
- ☆13Jul 15, 2024Updated 2 years ago
- Build structured Proof Blueprints with Verso☆35Oct 23, 2026Updated last week
- This repo implements our paper, "Learning to Search Feasible and Infeasible Regions of Routing Problems with Flexible Neural k-Opt", whic…☆56Jul 24, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [NeurIPS 2025] PARCO: Parallel AutoRegressive Combinatorial Optimization☆61Dec 3, 2025Updated 10 months ago
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆306Jan 24, 2026Updated 9 months ago
- Efficient Active Search☆53Mar 25, 2022Updated 4 years ago
- Official implementation of paper "Learning Topological Representations with Bidirectional Graph Attention Network for Solving Job Shop Sc…☆34Jun 13, 2025Updated last year
- The official implementation of Convergent Graph Solvers (CGS)☆21Feb 1, 2022Updated 4 years ago
- PolyNet: Learning Diverse Solution Strategies for Neural Combinatorial Optimization☆16Aug 20, 2025Updated last year
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆37Aug 11, 2025Updated last year
- [NeurIPS 2024] Learning to Handle Complex Constraints for Vehicle Routing Problems☆46Jul 9, 2026Updated 3 months ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆58May 14, 2025Updated last year
- You should use PySR to find scaling laws. Here's an example.☆33Sep 30, 2023Updated 3 years ago
- Neur2SP: Neural Two-Stage Stochastic Programming☆58Mar 8, 2023Updated 3 years ago
- ☆13Aug 12, 2026Updated 2 months ago
- The implementation code of our paper "Learning Generalizable Models for Vehicle Routing Problems via Knowledge Distillation", accepted at…☆59Oct 30, 2025Updated last year
- Evolution of Heuristic Set using LLMs for Automated Heuristic Design☆34Oct 15, 2026Updated 2 weeks ago
- Lean 4 formalization of Knuth's 'Claude's Cycles' paper☆16Aug 26, 2026Updated 2 months ago