microsoft / PDP-SolverLinks
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
☆41Updated 2 years ago
Alternatives and similar repositories for PDP-Solver
Users that are interested in PDP-Solver are comparing it to the libraries listed below
Sorting:
- G2SAT: Learning to Generate SAT Formulas☆49Updated 5 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 4 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆46Updated 5 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆13Updated 3 years ago
- ☆9Updated 2 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Updated 2 years ago
- ☆51Updated 11 months ago
- ☆17Updated 3 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- D-VAE: A Variational Autoencoder for Directed Acyclic Graphs, NeurIPS 2019☆139Updated 4 years ago
- ☆44Updated 5 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆28Updated 6 years ago
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Official Repository of "Contextual Graph Markov Model" (ICML 2018 - JMLR 2020)☆36Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Library for learning and inference with Sum-product Networks utilizing TensorFlow 2.x and Keras☆48Updated 4 years ago
- [ICLR 2020] FSPool: Learning Set Representations with Featurewise Sort Pooling☆41Updated last year
- ☆49Updated 4 years ago
- Feasible target propagation code for the paper "Deep Learning as a Mixed Convex-Combinatorial Optimization Problem" by Friesen & Domingos…☆28Updated 7 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆39Updated 6 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆40Updated 5 years ago
- Quadrature-based features for kernel approximation☆16Updated 6 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- Discrete Object Generation with Reversible Inductive Construction (NeurIPS 2019)☆31Updated 4 years ago
- ☆15Updated 6 years ago
- Successfully training approximations to full-rank matrices for efficiency in deep learning.☆17Updated 4 years ago
- Source code for the Paper: CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints}☆73Updated 3 years ago
- Sum-Product Network learning routines in python☆27Updated 10 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago