Thinklab-SJTU / HardSATGENView external linksLinks
[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
☆22Jun 16, 2023Updated 2 years ago
Alternatives and similar repositories for HardSATGEN
Users that are interested in HardSATGEN are comparing it to the libraries listed below
Sorting:
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆13Jan 3, 2025Updated last year
- [NeurIPS 2022 Spotlight] Improving Generative Adversarial Networks via Adversarial Learning in Latent Space☆17Nov 20, 2022Updated 3 years ago
- [NeurIPS 2023] T2T: From Distribution Learning in Training to Gradient Search in Testing for Combinatorial Optimization☆70Jul 2, 2025Updated 7 months ago
- [NeurIPS 2024 Datasets and Benchmarks Track] Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime☆23Mar 27, 2025Updated 10 months ago
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆14Feb 11, 2025Updated last year
- Official implementation non-autoregressive combinatorial optimizaiton solvers, covering our ICLR 2023 paper and SCIENTIA SINICA Informati…☆41Sep 27, 2024Updated last year
- A Python toolkit for Machine Learning (ML) practices for Combinatorial Optimization (CO).☆74Dec 29, 2025Updated last month
- Official implementation of ICLR 2025 paper: "Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design S…☆44May 20, 2025Updated 8 months ago
- Official DGL implementation of "Rethinking High-order Graph Convolutional Networks"☆33Sep 21, 2021Updated 4 years ago
- The official implementation of our paper "MoleRec: Combinatorial Drug Recommendation with Substructure-Aware Molecular Representation Lea…☆67Jun 8, 2023Updated 2 years ago
- We would like to maintain a list of resources which aim to solve molecular docking and other closely related tasks.☆105Feb 23, 2023Updated 2 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆38May 14, 2024Updated last year
- ☆10Feb 22, 2023Updated 2 years ago
- Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".☆82Apr 12, 2024Updated last year
- propositional satisfiability problem (SAT) goes neural and deep☆13Aug 17, 2021Updated 4 years ago
- ☆17May 24, 2023Updated 2 years ago
- Official implementation for the paper "Learning Substructure Invariance for Out-of-Distribution Molecular Representations" (NeurIPS 2022)…☆62Feb 16, 2023Updated 2 years ago
- Awesome Artificial Intelligence for Electronic Design Automation Papers.☆194Dec 28, 2023Updated 2 years ago
- The official implementation for ICLR23 paper "GNNSafe: Energy-based Out-of-Distribution Detection for Graph Neural Networks"☆84Jul 27, 2023Updated 2 years ago
- A Python Graph Matching Toolkit.☆348Sep 9, 2025Updated 5 months ago
- NeurIPS'22 Oral: EquiVSet - Learning Neural Set Functions Under the Optimal Subset Oracle☆21Dec 23, 2022Updated 3 years ago
- This is the official code repository for "Graph Neural Networks are Inherently Good Generalizers: Insights by Bridging GNNs and MLPs".☆90May 28, 2024Updated last year
- The official implementation for ICLR22 paper "Handling Distribution Shifts on Graphs: An Invariance Perspective"☆92Nov 24, 2022Updated 3 years ago
- Code to conduct an embedding attack on LLMs☆31Jan 10, 2025Updated last year
- [WWW2024 Oral] "Graph Out-of-Distribution Generalization via Causal Intervention”.☆27Oct 23, 2024Updated last year
- Official implementation of our ICML 2024 paper "UP2ME: Univariate Pre-training to Multivariate Fine-tuning as a General-purpose Framework…☆35May 12, 2025Updated 9 months ago
- PyTorch implementation of NeuroSAT☆28May 21, 2023Updated 2 years ago
- Learning a Latent Search Space for Routing Problems using Variational Autoencoders☆28Jul 14, 2021Updated 4 years ago
- MultiscaleGraphSignalTransforms.jl is a collection of software tools written in the Julia programming language for graph signal processin…☆11Sep 13, 2025Updated 5 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Source code for NeurIPS 2019 paper "Learning Latent Processes from High-Dimensional Event Sequences via Efficient Sampling""☆10Mar 20, 2021Updated 4 years ago
- Code for ICML21 paper "Learning Self-Modulating Attention in Continuous Time Space with Applications to Sequential Recommendation"☆12Feb 8, 2023Updated 3 years ago
- Code for AAAI21 paper "Scalable and Explainable 1-Bit Matrix Completion via Graph Signal Learning"☆11Feb 15, 2022Updated 3 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- A small project that uses Discrete Denoising Diffusion Probabilistic Models (D3PMs), a generative model for discrete data that builds upo…☆13Aug 10, 2024Updated last year
- [ICML 2023] QAS-Bench: Rethinking Quantum Architecture Search and A Benchmark☆11Mar 15, 2024Updated last year
- Un-official implementation of the Transformer Index for GEnerative Recommenders (TIGER) framework.☆13Jun 6, 2023Updated 2 years ago
- This repository includes the data and scripts utilized in the study titled "Improving LLM-based Verilog Code Generation with Data Augment…☆13Mar 24, 2025Updated 10 months ago
- ☆11Feb 20, 2021Updated 4 years ago