just checking

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

This is an official implementation for “DeepSAT: An EDA-Driven Learning Framework for SAT".

PyTorch implementation of NeuroSAT

GemNet model in PyTorch, as proposed in "GemNet: Universal Directional Graph Neural Networks for Molecules" (NeurIPS 2021)

A curated list of Hypergraph Learning, Hypergraph Theory, Hypergraph Dataset and Hypergraph Tool.

This is an official implementation for "DeepGate: Learning Neural Representations of Logic Gates".

A graph neural network tailored to directed acyclic graphs that outperforms conventional GNNs by leveraging the partial order as strong inductive bias besides other suitable architectural features.

CircuitNet: An Open-Source Dataset for Machine Learning Applications in Electronic Design Automation (EDA)

A scalable graph learning toolkit for extremely large graph datasets. (WWW'22, 🏆 Best Student Paper Award)

In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo

Python package for hypergraph analysis and visualization.

[KDD'2024] "LLM4Graph: A Survey of Large Language Models for Graphs"

主要记录大语言大模型（LLMs） 算法（应用）工程师相关的知识及面试题

A collection of AWESOME things about Graph-Related LLMs.

A fundational graph learning framework that solves cross-domain/cross-task classification problems using one model.

Python package built to ease deep learning on graph, on top of existing DL frameworks.

StellarGraph - Machine Learning on Graphs

Many underlying relationships among data in several areas of science and engineering, e.g., computer vision, molecular chemistry, molecular biology, pattern recognition, and data mining, can be rep…

Hypergraph Neural Networks for Hypergraph Matching

IJCAI2023-SIP solver

A subgraph isomorphism algorithm.

A state of the art algorithm for the Graph Isomorphism problem, adjusted for Sub-Graph and Induced Sub-Graph Isomorphism and extended to directed and multigraph settings.

VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs

VF2 - Subgraph Isomorphism

Implementation of paper "D2Match: Leveraging Deep Learning and Degeneracy for Subgraph Matching"

A research protocol for deep graph matching.