LOGO-CUHKSZ / W2SAT
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for W2SAT
- Official DGL implementation of "Rethinking High-order Graph Convolutional Networks"☆32Updated 3 years ago
- Awesome machine learning for temporal point processes papers.☆19Updated 2 years ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆20Updated last year
- A Python Graph Matching Toolkit.☆309Updated last month
- The repository includes evidence that a published paper in TKDE shares surprisingly high similarity to our paper.☆32Updated last year
- Repository for our paper: Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers☆86Updated 3 years ago
- ☆38Updated last year
- Pytorch Implementation of Rethinking Graph Neural Architecture Search from Message-passing (CVPR2021)☆52Updated 2 years ago
- ICLR 2022 paper☆15Updated 2 years ago
- ☆10Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Updated last year
- Implementation for the paper: GraphGDP: Generative Diffusion Processes for Permutation Invariant Graph Generation☆23Updated last year
- A graph transformer framework☆76Updated 2 years ago
- Official implementation for 'Sparse denoising diffusion for large graph generation'☆47Updated 6 months ago
- Random Walk Graph Neural Networks☆51Updated 3 years ago
- Deep Point Process by PyTorch☆28Updated 3 years ago
- OOD Dataset Curator and Benchmark for AI-aided Drug Discovery☆153Updated 2 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆152Updated 2 months ago
- [NeurIPS 2022 Spotlight] Improving Generative Adversarial Networks via Adversarial Learning in Latent Space☆17Updated 2 years ago
- The official implementation for ICLR23 paper "GNNSafe: Energy-based Out-of-Distribution Detection for Graph Neural Networks"☆73Updated last year
- ☆32Updated 2 months ago
- The repository for 'Unsupervised Learning for Combinatorial Optimization with Principled Proxy Design'☆15Updated 2 years ago
- [ICLR 2023 notable top-5%] Rethinking the Expressive Power of GNNs via Graph Biconnectivity (official implementation)☆101Updated last year
- Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"☆44Updated 2 years ago
- Source code to the AAAI21 publication Augmenting Policy Learning with Routines Discovered from a Single Demonstration☆17Updated 3 years ago
- GLSearch: Maximum Common Subgraph Detection via Learning to Search☆22Updated last year
- Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".☆52Updated 7 months ago
- Official implementation of our ICML 2024 paper "UP2ME: Univariate Pre-training to Multivariate Fine-tuning as a General-purpose Framework…☆21Updated 4 months ago
- CVPR 2022 paper☆16Updated 2 years ago