Jose-dev/graphkind-universos

Español · Page (ES) · Page (EN) · Paper · Proof · Reproduce Abstract We classify the operators under which the color refinement (1-WL) profile of a graph is invariant, inside a parametric family of observation universes (f, ι) — f compresses neighborhood counts and ι is an involution. The engine proposed and verified that the color refinement partition is complement-invariant (call it T4; the conjecture mechanism was human-built), verified it on 2,131… See the full description on the dataset page: https://huggingface.co/datasets/Jose-dev/graphkind-universos.