Alternatives and similar repositories for HardSATGEN

Users that are interested in HardSATGEN are comparing it to the libraries listed below

• Thinklab-SJTU / ACM-MILP
  Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…
  ☆12Updated 5 months ago
• Thinklab-SJTU / PredictiveCO-Benchmark
  [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime
  ☆21Updated 2 months ago
• lygztq / SEAggregation
  Official DGL implementation of "Rethinking High-order Graph Convolutional Networks"
  ☆33Updated 3 years ago
• Thinklab-SJTU / ML4CO-Kit
  A Python toolkit for Machine Learning (ML) practices for Combinatorial Optimization (CO).
  ☆48Updated this week
• yangco-le / AdvLatGAN
  [NeurIPS 2022 Spotlight] Improving Generative Adversarial Networks via Adversarial Learning in Latent Space
  ☆17Updated 2 years ago
• WtaoZhao / GraphGLOW
  PyTorch implementation of GraphGLOW: Universal and Generalizable Structure Learning for Graph Neural Networks
  ☆36Updated last year
• Thinklab-SJTU / ROCO
  Official Implementation of Our ICLR 2023 paper "ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers…
  ☆20Updated 7 months ago
• Graph-COM / LayerDAG
  [ICLR 2025 Spotlight] LayerDAG: A Layerwise Autoregressive Diffusion Model of Directed Acyclic Graphs
  ☆18Updated 4 months ago
• Thinklab-SJTU / ML4TSPBench
  Official implementation of ICLR 2025 paper: "Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design S…
  ☆36Updated 2 weeks ago
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated 2 years ago
• Thinklab-SJTU / T2TCO
  [NeurIPS 2023] T2T: From Distribution Learning in Training to Gradient Search in Testing for Combinatorial Optimization
  ☆63Updated 4 months ago
• Emiyalzn / GraphDE
  Official implementation for GraphDE: A Generative Framework for Debiased Learning and Out-of-Distribution Detection on Graphs (NeurIPS 20…
  ☆20Updated 2 years ago
• LoadingByte / are-gnn-defenses-robust
  Adaptive evaluation reveals that most examined adversarial defenses for GNNs show no or only marginal improvement in robustness. (NeurIPS…
  ☆29Updated 2 years ago
• Thinklab-SJTU / ML4CO-Bench-101
  ML4CO-Bench-101: Benchmark Machine Learning for Classic Combinatorial Problems on Graphs.
  ☆16Updated 2 weeks ago
• Graph-COM / PEG
  ☆41Updated 2 years ago
• Graph-COM / CO_ProxyDesign
  The repository for 'Unsupervised Learning for Combinatorial Optimization with Principled Proxy Design'
  ☆16Updated 2 years ago
• Graph-COM / Meta_CO
  the official repository of the paper unsupervised learning for combinatorial optimization needs meta learning
  ☆9Updated 2 years ago
• Graph-COM / Neural_Higher-order_Pattern_Prediction
  ☆14Updated 3 years ago
• Graph-COM / StruRW
  [ICML 2023] Structural Re-weighting Improves Graph Domain Adaptation (StruRW)
  ☆21Updated last year
• Graph-COM / Pair-Align
  [ICML 2024] Code for Pairwise Alignment Improves Graph Domain Adaptation (Pair-Align)
  ☆13Updated 11 months ago
• TheaperDeng / GNN-Attack-InfMax
  Adversarial Attack on Graph Neural Networks as An Influence Maximization Problem
  ☆18Updated 3 years ago
• balcilar / gnn-matlang
  Code of "Breaking the Limits of Message Passing Graph Neural Networks" paper published in ICML2021
  ☆41Updated 3 years ago
• Thinklab-SJTU / Fast-T2T
  [NeurIPS2024] Fast T2T: Optimization Consistency Speeds Up Diffusion-Based Training-to-Testing Solving for Combinatorial Optimization; [N…
  ☆12Updated 2 months ago
• zaixizhang / ANS-GT
  NeurIPS'22 Spotlight paper "Hierarchical Graph Transformer with Adaptive Node Sampling"
  ☆51Updated last year
• cchao0116 / SGMC-AAAI21
  Code for AAAI21 paper "Scalable and Explainable 1-Bit Matrix Completion via Graph Signal Learning"
  ☆11Updated 3 years ago
• MIRALab-USTC / L2O-G2MILP
  This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.
  ☆31Updated 8 months ago
• AndrewZhou924 / graph-ood-detection
  A curated list of resources for OOD detection with graph data.
  ☆19Updated last year
• ChandlerBang / GTrans
  [ICLR'23] Implementation of "Empowering Graph Representation Learning with Test-Time Graph Transformation"
  ☆58Updated last year
• FFTYYY / TWIRLS
  The code for the ICML 2021 paper "Graph Neural Networks Inspired by Classical Iterative Algorithms".
  ☆43Updated 3 years ago
• LFhase / CIGA
  [NeurIPS 2022] Learning Causally Invariant Representations for Out-of-Distribution Generalization on Graphs
  ☆113Updated last year