A toolkit for SAT-based prototyping in Python

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Predicting Satisfiability via End-to-End Learning

PyTorch implementation of NeuroSAT

[NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"

Implementation of Graph Convolutional Networks in TensorFlow

Graph Neural Networks with Keras and Tensorflow 2.

[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

A List of Papers on Theoretical Foundations of Graph Neural Networks

Neuro-symbolic approaches to reasoning problems from abstract argumentation

Awesome machine learning for combinatorial optimization papers.

Official repository for paper "Goal-Aware Neural SAT Solver"

PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers

Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams

Material for Data Mining Lab Session (Fall Semester @ NTHU)