Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
☆13Nov 20, 2022Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- Efficient Active Search☆53Mar 25, 2022Updated 4 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Aug 4, 2023Updated 3 years ago
- ☆48Apr 30, 2025Updated last year
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Feb 14, 2020Updated 6 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated last month
- [NeurIPS 2021 Spotlight] Learning to Delegate for Large-scale Vehicle Routing☆88Dec 10, 2021Updated 4 years ago
- ☆19May 24, 2023Updated 3 years ago
- ☆10Oct 15, 2021Updated 5 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 3 years ago
- Some quick exploration of how k-means auto-encoders work☆10May 11, 2017Updated 9 years ago
- Python version of tools to work with AIG formatted files☆13Sep 7, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Official repository for the TMLR paper "Self-Improvement for Neural Combinatorial Optimization: Sample Without Replacement, but Improveme…☆33Jan 22, 2026Updated 9 months ago
- ☆15Feb 6, 2021Updated 5 years ago
- CV32E40X Design-Verification environment☆19Jun 2, 2026Updated 5 months ago
- A learnable Meta Optimizer for Combinatorial Optimization☆12Nov 29, 2024Updated last year
- This project aims at using RL to address the contingency-aware influence maximization problem☆11Jun 27, 2021Updated 5 years ago
- ☆13Jun 2, 2024Updated 2 years ago
- Plugin for obsidian to render csv syntax in codeblocks.☆15Jul 18, 2024Updated 2 years ago
- ☆11Oct 24, 2026Updated 2 weeks ago
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11May 27, 2019Updated 7 years ago
- [ICLR 2025] Code&Data for the paper "Super(ficial)-alignment: Strong Models May Deceive Weak Models in Weak-to-Strong Generalization"☆15Jun 21, 2024Updated 2 years ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- Simple tabular Q learning to solve the travelling salesman problem.☆10Jul 23, 2023Updated 3 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆18Nov 8, 2016Updated 10 years ago
- Neural ngram language model in PyTorch.☆10Sep 27, 2018Updated 8 years ago
- ☆17Jul 12, 2024Updated 2 years ago
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- Graph partitioning for distributed GNN training☆13Mar 26, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆18Dec 30, 2023Updated 2 years ago
- ☆10Feb 22, 2023Updated 3 years ago
- Coordinate Backoff Bayesian Optimization☆11Aug 23, 2022Updated 4 years ago
- ☆12Sep 15, 2021Updated 5 years ago
- UniG-Encoder: A Universal Feature Encoder for Graph and Hypergraph Node Classification.☆14Jul 18, 2025Updated last year
- [ICML'24 Oral] Rethinking Post-Hoc Search-Based Neural Approaches for Solving Large-Scale Traveling Salesman Problems☆43Apr 6, 2025Updated last year
- ☆14Aug 16, 2022Updated 4 years ago