DerekQXu / GLSearchLinks
GLSearch: Maximum Common Subgraph Detection via Learning to Search
☆24Updated 2 years ago
Alternatives and similar repositories for GLSearch
Users that are interested in GLSearch are comparing it to the libraries listed below
Sorting:
- ☆16Updated 5 years ago
- A graph neural network tailored to directed acyclic graphs that outperforms conventional GNNs by leveraging the partial order as strong i…☆138Updated last year
- Multilevel graph coarsening algorithm with spectral and cut guarantees☆91Updated 5 years ago
- Subgraph matching and isomorphisms in Python.☆28Updated 3 years ago
- ☆16Updated 2 years ago
- [ICLR 2025 Spotlight] LayerDAG: A Layerwise Autoregressive Diffusion Model of Directed Acyclic Graphs☆26Updated last year
- GraphZoom: A Multi-level Spectral Approach for Accurate and Scalable Graph Embedding (ICLR'20 Oral)☆114Updated 2 years ago
- Random Walk Graph Neural Networks☆55Updated 4 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 5 years ago
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- [NeurIPS 2023] Implementation of "Transformers over Directed Acyclic Graphs"☆76Updated 8 months ago
- ☆10Updated 2 years ago
- "Do We Need Anisotropic Graph Neural Networks?" at ICLR 2022☆33Updated 3 years ago
- Polynormer: Polynomial-Expressive Graph Transformer in Linear Time (ICLR'24)☆42Updated last year
- Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization (ICLR'26)☆61Updated last month
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated 2 years ago
- A graph transformer framework☆77Updated 3 years ago
- Implement of DiGCN, NeurIPS-2020☆48Updated 4 years ago
- The official implementation of NeurIPS22 spotlight paper "NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classifica…☆313Updated last year
- A benchmarking suite for maximum independent set solvers.☆53Updated 2 years ago
- official repo for the NeurIPS 2022 paper "GREED: A Neural Framework for Learning Graph Distance Functions"☆30Updated 2 years ago
- NeurIPS'22 Spotlight paper "Hierarchical Graph Transformer with Adaptive Node Sampling"☆51Updated 2 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆13Updated 4 years ago
- Code of "Breaking the Limits of Message Passing Graph Neural Networks" paper published in ICML2021☆42Updated 4 years ago
- Wasserstein Distance Graph Alignment☆23Updated 5 years ago
- [ICML 2021] "A Unified Lottery Tickets Hypothesis for Graph Neural Networks", Tianlong Chen*, Yongduo Sui*, Xuxi Chen, Aston Zhang, Zhang…☆68Updated 2 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 3 years ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Updated 2 years ago
- Graph Partitoning Using Graph Convolutional Networks☆67Updated 3 years ago