Technical Reference & Architecture Specification
This document outlines the architecture of Executable Graph Networks (EGN), a neuro-symbolic model designed to replace dense matrix operations with sparse, conditional logic execution. Unlike traditional Deep Neural Networks (DNNs) that utilize fixed topology and floating-point arithmetic (
During inference, EGN utilizes conditional computation, activating only a specific branch of the graph relevant to the input instance. This results in
The fundamental atomic unit of an EGN is not a neuron, but a Dual-Input Logic Cell.
Mathematically, a single cell
The control flow decision (Next Node Pointer):
Where:
-
$S$ : Calculated activation value. -
$T$ : Learned threshold constant. -
$N_{true} / N_{false}$ : Indices of the next nodes in the graph.
The graph is serialized in memory as a flat array of structures, optimizing for L1/L2 cache locality and branch prediction on standard x86/ARM architectures.
todo: Add exampleSince the architecture relies on discrete branching (non-differentiable IF/ELSE logic) and integer arithmetic, standard Backpropagation is not directly applicable. EGN utilizes a multi-stage optimization strategy:
-
Structural Evolution (Exploratory Overgrowth): During the initial training phase, the graph is allowed to expand dynamically, creating redundant nodes and branches. This "overgrowth" maximizes the search space, preventing the model from getting stuck in local minima while searching for complex logic patterns.
-
Discrete Parameter Optimization: Algorithms designed for non-convex spaces (e.g., Evolutionary Strategies) are used to fine-tune the integer weights and thresholds (
$w_a, w_b, T$ ) within the active nodes. -
Graph Pruning & Collapsing (Final Optimization): Once the logical solution is found, a separate optimization pass is applied to "collapse" the graph. This step involves:
- Dead Code Elimination: Removing nodes that are never reached by valid inputs.
- Branch Merging: Identifying and combining duplicate sub-trees (common subexpression elimination).
- Logic Simplification: Converting complex chains of weak classifiers into fewer, stronger nodes.