Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

GEAKG: Generative Executable Algorithm Knowledge Graphs

About

In the context of algorithms for problem solving, procedural knowledge -- the know-how of algorithm design and operator composition -- remains implicit in code, lost between runs, and must be re-engineered for each new domain. Knowledge graphs (KGs) have proven effective for organizing declarative knowledge, yet current KG paradigms provide limited support for representing procedural knowledge as executable, learnable graph structures. We introduce \textit{Generative Executable Algorithm Knowledge Graphs} (GEAKG), a class of KGs whose nodes store executable operators, whose edges encode learned composition patterns, and whose traversal generates solutions. A GEAKG is \emph{generative} (topology and operators are synthesized by a Large Language Model), \emph{executable} (every node is runnable code), and \emph{transferable} (learned patterns generalize zero-shot across domains). The framework is domain-agnostic at the engine level: the same three-layer architecture and Ant Colony Optimization (ACO)-based learning engine can be instantiated across domains, parameterized by a pluggable ontology (\texttt{RoleSchema}). Two case studies -- sharing no domain-specific framework code -- provide concrete evidence for this framework hypothesis: (1)~Neural Architecture Search across 70 cross-dataset transfer pairs on two tabular benchmarks, and (2)~Combinatorial Optimization, where knowledge learned on the Traveling Salesman Problem transfers zero-shot to scheduling and assignment domains. Taken together, the results support that algorithmic expertise can be explicitly represented, learned, and transferred as executable knowledge graphs.

Camilo Chac\'on Sartori, Jos\'e H. Garc\'ia, Andrei Voicu Tomut, Christian Blum• 2026

Related benchmarks

TaskDatasetResultRank
Job Shop SchedulingJSSP ft, la, abz, orb, ta instances
Optimality Gap0.00e+0
56
Quadratic Assignment ProblemQAP (Quadratic Assignment Problem) Cross-domain Transfer nug12-30, tai20a-256c
Gap (%)0.00e+0
33
Combinatorial OptimizationTSPLIB TSP
Performance on berlin521.99
3
Neural Architecture SearchNAS-Bench-201
Mean Accuracy71.42
3
Neural Architecture SearchNAS-Bench-Graph
Mean Accuracy (%)75.7
3
Neural Architecture SearchNAS-Bench-201 6 transfer pairs
Win Count (Mean)6
2
Neural Architecture SearchNAS-Bench-Graph
Mean Wins64
2
Travelling Salesperson Problemberlin52
Optimality Gap (%)3.1
2
Travelling Salesperson Problemch150
Optimality Gap57.8
2
Travelling Salesperson Problempr226
Optimality Gap (%)0.628
2
Showing 10 of 14 rows

Other info

Follow for update