holgerdell / color-refinement
A visual demo of the color refinement algorithm
☆14Updated 6 months ago
Alternatives and similar repositories for color-refinement:
Users that are interested in color-refinement are comparing it to the libraries listed below
- Differentiable probabilistic answer set programming☆18Updated 2 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- ☆68Updated last year
- An introduction to theorem proving in Lean for the impatient.☆123Updated 2 months ago
- VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs☆120Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Edge representation learning library☆25Updated 2 years ago
- Temporal Graph Analysis with TGX☆21Updated 2 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 3 months ago
- Code for the paper "Higher-order motif analysis in hypergraphs"☆26Updated 2 years ago
- Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`☆17Updated last year
- Hodge/Bochner Laplacians of simplicial complexes, their spectra, higher-order diffusion and random walks☆27Updated last year
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆72Updated this week
- Data for the paper "Simplicial closure and higher-order link prediction"☆19Updated 6 years ago
- PyTorch Geometric Signed Directed is a signed/directed graph neural network extension library for PyTorch Geometric. The paper is accepte…☆133Updated 5 months ago
- Message Passing Neural Networks for Simplicial and Cell Complexes☆158Updated last year
- Understanding and Extending Subgraph GNNs by Rethinking their Symmetries (NeurIPS 2022 Oral)☆41Updated last year
- A python package for graph kernels, graph edit distances, and graph pre-image problem.☆125Updated 10 months ago
- A program for drawing knots and links, with support for importing images☆29Updated last year
- ☆46Updated 3 years ago
- Code repository for "Hypergraph Visualization via a Metric Space Viewpoint and Persistence"☆28Updated 4 months ago
- ☆26Updated 11 months ago
- HGX is a multi-purpose, open-source Python library for higher-order network analysis☆230Updated last month
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 4 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Python code implementing a stable ensemble-based graph partition algorithm (ecg) and 11 graph-aware measures (gam) for comparing graph pa…☆29Updated last year
- ☆18Updated 7 months ago
- Cross Entropy Low-rank Logits for graph generation.☆18Updated 5 months ago
- An inductive logic programming system☆212Updated 2 weeks ago
- This repository holds code and other relevant files for the Learning on Graphs 2022 tutorial "Graph Rewiring: From Theory to Applications…☆54Updated 2 years ago