G2SAT: Learning to Generate SAT Formulas
☆49Jun 25, 2020Updated 5 years ago
Alternatives and similar repositories for G2SAT
Users that are interested in G2SAT are comparing it to the libraries listed below
Sorting:
- ☆12Nov 11, 2019Updated 6 years ago
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆36Oct 3, 2024Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆39May 14, 2024Updated last year
- Learning local search heuristics for Boolean satisfiability☆37May 8, 2024Updated last year
- Identifying Nuances in Fake News vs. Satire: Using Semantic and Linguistic Cues (NLP4IF, EMNLP-IJCNLP 2019)☆11Dec 21, 2020Updated 5 years ago
- ☆11Feb 26, 2024Updated 2 years ago
- Spectral Graph Attention Network with Fast Eigen-approximation☆12Dec 24, 2021Updated 4 years ago
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆13Jan 3, 2025Updated last year
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆292Mar 12, 2019Updated 6 years ago
- Code for SIGDial 2019 Best Paper: Structured Fusion Networks for Dialog https://arxiv.org/abs/1907.10016☆30Aug 19, 2019Updated 6 years ago
- A Simple CDCL Solver☆35Mar 8, 2023Updated 3 years ago
- ☆12Apr 16, 2020Updated 5 years ago
- code for paper "Graph Structure of Neural Networks"☆156Aug 30, 2021Updated 4 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Aug 4, 2023Updated 2 years ago
- The official implementation of DIG-MILP☆14Oct 27, 2023Updated 2 years ago
- KDD CUP 2020 Automatic Graph Representation Learning: 1st Place Solution☆99Jan 12, 2021Updated 5 years ago
- Implementations of "Break the Ceiling: Stronger Multi-scale Deep Graph Convolutional Networks"☆53Sep 25, 2024Updated last year
- Management of Benchmark Instances and Instance Attributes☆21Feb 9, 2026Updated last month
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Jun 16, 2023Updated 2 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 5 years ago
- Codes for NIPS 2019 Paper: Rethinking Kernel Methods for Node Representation Learning on Graphs☆34Feb 20, 2020Updated 6 years ago
- Cross Entropy Low-rank Logits for graph generation.☆18Aug 2, 2024Updated last year
- Code of "Breaking the Limits of Message Passing Graph Neural Networks" paper published in ICML2021☆42Jun 10, 2021Updated 4 years ago
- Morgan A. Schmitz., Matthieu Heitz, Nicolas Bonneel, Fred Ngole, David Coeurjolly, Marco Cuturi, Gabriel Peyré, and Jean-Luc Starck. "Was…☆20Oct 18, 2019Updated 6 years ago
- The aim of this project is to use machine learning to determine if two graphs are isomorphic☆15Jan 25, 2016Updated 10 years ago
- PyTorch code for meta seq2seq learning☆43Jan 14, 2020Updated 6 years ago
- GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models☆735Jan 20, 2022Updated 4 years ago
- Graph Injection Adversarial Attack & Defense Dataset , extracted from KDD CUP 2020 ML2 Track☆22Aug 19, 2024Updated last year
- Word sense disambiguation using contextualized word embedding☆17Dec 18, 2019Updated 6 years ago
- Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"☆21Jan 27, 2022Updated 4 years ago
- Code for the ICLR 2019 paper "Invariant and Equiovariant Graph Networks"☆25May 20, 2020Updated 5 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆22Mar 15, 2025Updated 11 months ago
- ☆23Feb 8, 2024Updated 2 years ago
- DISCS: The code base for the Benchmark for Discrete Sampling☆63Aug 20, 2024Updated last year
- ☆22Dec 4, 2023Updated 2 years ago
- This repository contains the code for running the character-level Sandwich Transformers from our ACL 2020 paper on Improving Transformer …☆57Jan 1, 2021Updated 5 years ago
- Code used in our paper "Robust Deep Reinforment Learning through Adversarial Loss"☆33Oct 3, 2023Updated 2 years ago
- Optim4RL is a Jax framework of learning to optimize for reinforcement learning.☆28Nov 27, 2024Updated last year