Genetic programming using LLMs
☆58Mar 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:
- [NeurIPS 2025] PARCO: Parallel AutoRegressive Combinatorial Optimization☆44Dec 3, 2025Updated 3 months ago
- The official implementation of "RouteExplainer: An Explanation Framework for Vehicle Routing Problem" (PAKDD 2024, oral)☆17Apr 5, 2024Updated last year
- Neural Destruction Search for Vehicle Routing Problems☆18Oct 6, 2025Updated 5 months ago
- [ICLR 2025] Graph Assisted Offline-Online Deep Reinforcement Learning (GOODRL) for Dynamic Workflow Scheduling (DWS)☆25Feb 24, 2025Updated last year
- Official implementation of paper "Learning Topological Representations with Bidirectional Graph Attention Network for Solving Job Shop Sc…☆30Jun 13, 2025Updated 9 months ago
- Exponent pair database☆73Feb 2, 2026Updated last month
- Code for [ICML2025]``Monte Carlo Tree Search for Comprehensive Exploration in LLM-Based Automatic Heuristic Design``.☆71May 23, 2025Updated 10 months ago
- Self-Labeling the Job Shop Scheduling Problem☆20Jun 26, 2024Updated last year
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 7 months ago
- The official implementation of Convergent Graph Solvers (CGS)☆21Feb 1, 2022Updated 4 years ago
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- The collection of my research papers' illustrations.☆19Oct 15, 2023Updated 2 years ago
- Logical Verification 2022-2023 course at VU Amsterdam☆18Jan 27, 2024Updated 2 years ago
- Official implementation of paper "Deep Reinforcement Learning Guided Improvement Heuristic for Job Shop Scheduling"☆65Feb 23, 2025Updated last year
- code for graph2route☆18Jul 24, 2025Updated 8 months ago
- Official Repository for "LLMs as Visual Explainers: Advancing Image Classification with Evolving Visual Descriptions"☆15Apr 20, 2025Updated 11 months ago
- ☆28Nov 5, 2023Updated 2 years ago
- minimal Energy-based transformer☆43Dec 11, 2025Updated 3 months ago
- ☆15Mar 26, 2024Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- Simulation tools for ground-based millimeter and sub-millimeter wave observatories.☆11Mar 17, 2026Updated last week
- implementation of our IJCAI'24 paper "Cross-Problem Learning for Solving Vehicle Routing Problems".☆20Aug 17, 2024Updated last year
- Pipeline to compute Nx2pt angular power spectra and their covariances.☆14Mar 13, 2026Updated last week
- An online math contest platform☆21Jan 18, 2026Updated 2 months ago
- [AAAI-25] HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMs☆35Feb 21, 2026Updated last month
- Tutorials for the pixell library☆13May 30, 2025Updated 9 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- [AAAI 2026] TrajEvo: Designing Trajectory Prediction Heuristics via LLM-driven Evolution☆15Aug 1, 2025Updated 7 months ago
- Official Implementation of the paper: INViT: A Generalizable Routing Problem Solver with Invariant Nested View Transformer☆26Jul 4, 2024Updated last year
- Official repository for GFACS☆34May 17, 2024Updated last year
- A Collection on Large Language Models for Optimization☆349Jan 4, 2026Updated 2 months ago
- package for exact edit similarity joins☆13Sep 6, 2024Updated last year
- SO Likelihoods and Theories☆15Mar 17, 2026Updated last week
- [ICML'24 Oral] Rethinking Post-Hoc Search-Based Neural Approaches for Solving Large-Scale Traveling Salesman Problems☆41Apr 6, 2025Updated 11 months ago
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆259Jan 24, 2026Updated 2 months ago
- Lean formalizations of IMO problem statements☆32Oct 23, 2025Updated 5 months ago
- Large Language Model for MOEA☆62May 30, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 3 months ago