Official implementation of the NeurIPS 23 spotlight paper of ♾️InfGCN♾️.
-
Updated
Dec 5, 2023 - Jupyter Notebook
Official implementation of the NeurIPS 23 spotlight paper of ♾️InfGCN♾️.
Implementation of Implicit Graphon Neural Representation
Graphons in Lean 4 — cut distance, regularity, counting lemma, compactness, and convergence equivalence, built on Mathlib
A lightweight Python toolkit for exploring graphons, graph limits, and cut distance.
To associate your repository with the graphon topic, visit your repo's landing page and select "manage topics."