johannaSommer / generalization-neural-co-solvers
Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
☆14Updated 2 years ago
Alternatives and similar repositories for generalization-neural-co-solvers:
Users that are interested in generalization-neural-co-solvers are comparing it to the libraries listed below
- Learning local search heuristics for Boolean satisfiability☆37Updated 11 months ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆18Updated 2 years ago
- Implementation of our NeurIPS 2021 paper "A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs".☆99Updated last year
- ☆42Updated 2 months ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- Learning a Latent Search Space for Routing Problems using Variational Autoencoders☆26Updated 3 years ago
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆30Updated 6 months ago
- Representing CP problems as graphs☆18Updated 3 months ago
- A benchmarking suite for maximum independent set solvers.☆50Updated last year
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 4 years ago
- The repository for 'Unsupervised Learning for Combinatorial Optimization with Principled Proxy Design'☆15Updated 2 years ago
- ☆23Updated last year
- G2SAT: Learning to Generate SAT Formulas☆50Updated 4 years ago
- ☆31Updated 2 years ago
- [NeurIPS 2023] T2T: From Distribution Learning in Training to Gradient Search in Testing for Combinatorial Optimization☆61Updated 2 months ago
- ☆26Updated 3 years ago
- Code repo for ICML'23 Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning☆39Updated last year
- ☆10Updated 2 years ago
- Winner of NeurIPS 2021 student leaderboard. Self-bootstrapping bayesian optimization for SCIP configuration using GNNs.☆13Updated 2 years ago
- Official Implementation of Our ICLR 2023 paper "ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers…☆20Updated 5 months ago
- ☆25Updated last year
- Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"☆49Updated 2 years ago
- [ICML 2023] Meta-SAGE: Scale Meta-Learning Scheduled Adaptation with Guided Exploration for Mitigating Scale Shift on Combinatorial Optim…☆10Updated last year
- This is the source code for solving the Traveling Salesman Problems (TSP) using Monte Carlo tree search (MCTS).☆32Updated 5 years ago
- [ICML'24] Tackling Prevalent Conditions in Unsupervised Combinatorial Optimization: Cardinality, Minimum, Covering, and More☆13Updated 9 months ago
- Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)☆26Updated 5 years ago
- Efficient Active Search☆49Updated 3 years ago
- [NeurIPS 2024] "Collaboration! Towards Robust Neural Methods for Routing Problems"☆18Updated 4 months ago
- Machine Learning for Combinatorial Optimization - NeurIPS'21 competition☆132Updated 2 years ago
- Hybrid Models for Learning to Branch (NeurIPS 2020)☆50Updated 3 years ago