JiaxuanYou / G2SAT
G2SAT: Learning to Generate SAT Formulas
☆48Updated 4 years ago
Related projects: ⓘ
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆50Updated 3 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated 4 months ago
- ☆9Updated last year
- PyTorch implementation of NeuroSAT☆26Updated last year
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆40Updated last year
- IPC: A Graph Data Set Compiled from International Planning Competitions☆44Updated 4 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆16Updated 3 years ago
- ☆44Updated 4 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆39Updated 4 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆28Updated 4 months ago
- "Do We Need Anisotropic Graph Neural Networks?" at ICLR 2022☆32Updated 2 years ago
- Learning Steady-States of Iterative Algorithms over Graphs☆39Updated 6 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆18Updated last year
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆82Updated last month
- ☆35Updated 5 years ago
- ☆10Updated last year
- Extending the Neural Graph Algorithm Executor☆13Updated last year
- Equivalence Between Structural Representations and Positional Node Embeddings☆21Updated 4 years ago
- Source code for the "Computationally Tractable Riemannian Manifolds for Graph Embeddings" paper☆35Updated 4 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆11Updated 5 years ago
- ☆15Updated 3 years ago
- Code for the ICLR 2019 paper "Invariant and Equiovariant Graph Networks"☆23Updated 4 years ago
- ☆12Updated 3 years ago
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆34Updated 4 years ago
- Code for Graph Neural Networks Exponentially Lose Expressive Power for Node Classification.☆30Updated 4 years ago
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Updated 3 years ago
- Python code associated with the paper "A Unifying Framework for Spectrum-Preserving Graph Sparsification and Coarsening'' (NeurIPS, 2019)☆15Updated 4 years ago
- LDP for graph classification☆22Updated 4 years ago
- Neural Logic Inductive Learning☆41Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago