JiaxuanYou / G2SATView external linksLinks
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
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Oct 20, 2020Updated 5 years ago
- Power Law Random k-SAT Generator☆15Nov 21, 2021Updated 4 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆38May 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
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Feb 17, 2020Updated 5 years ago
- Spectral Graph Attention Network with Fast Eigen-approximation☆12Dec 24, 2021Updated 4 years ago
- ☆11Feb 26, 2024Updated last year
- 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☆291Mar 12, 2019Updated 6 years ago
- ☆12Apr 16, 2020Updated 5 years ago
- Bayan Algorithm☆13Jun 17, 2025Updated 7 months 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
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆22Jun 16, 2023Updated 2 years ago
- 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
- Code for NeurIPS 2019 paper "Hierarchical Optimal Transport for Document Representation"☆54Jan 22, 2020Updated 6 years ago
- 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
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆22Mar 15, 2025Updated 11 months ago
- Some papers on low-resource knowledge base population. (mostly from 2018 to 2020)☆20Mar 25, 2020Updated 5 years ago
- ☆22Dec 4, 2023Updated 2 years ago
- This repository has moved to: https://github.com/tkipf/c-swm☆27Jan 5, 2020Updated 6 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
- Graph matching and clustering by comparing heat kernels via optimal transport.☆27Dec 8, 2022Updated 3 years ago
- Code used in our paper "Robust Deep Reinforment Learning through Adversarial Loss"☆33Oct 3, 2023Updated 2 years ago
- Abstractive Multi-Document Summarisation, generating Wikipedia lead sections for specific domains. Exploiting target summaries content st…☆29Sep 29, 2022Updated 3 years ago
- Official DGL implementation of "Rethinking High-order Graph Convolutional Networks"☆33Sep 21, 2021Updated 4 years ago
- Optim4RL is a Jax framework of learning to optimize for reinforcement learning.☆28Nov 27, 2024Updated last year
- Heterogeneous Molecular Graph Neural Network☆28Sep 29, 2020Updated 5 years ago
- Reference implementation for SPECTRE: Spectral Conditioning Helps to Overcome the Expressivity Limits of One-shot Graph Generators (ICML …☆28Aug 23, 2022Updated 3 years ago
- Multi-cell compositional LSTM for NER domain adaptation, code for ACL 2020 paper☆29Dec 2, 2020Updated 5 years ago