JonaOliv

JonaOliv's Stars

• BUPT-GAMMA/SATGL

  Language:Python22

• dselsam/neurosat

  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

  Language:Python26756

• ChrisCameron1/End2EndSAT

  Predicting Satisfiability via End-to-End Learning

  Language:Python101

• ryanzhangfan/NeuroSAT

  PyTorch implementation of NeuroSAT

  Language:Python268

• zhaoyu-li/NSNet

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

  Language:Python193

• tkipf/gcn

  Implementation of Graph Convolutional Networks in TensorFlow

  Language:Python7.1k2k

• danielegrattarola/spektral

  Graph Neural Networks with Keras and Tensorflow 2.

  Language:Python2.4k335

• zhaoyu-li/G4SATBench

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

  Language:Python316

• jiaqingxie/Theories-of-Graph-Neural-Networks

  A List of Papers on Theoretical Foundations of Graph Neural Networks

  24

• DennisCraandijk/DL-abstract-argumentation

  Neuro-symbolic approaches to reasoning problems from abstract argumentation

  Language:Python216

• Thinklab-SJTU/awesome-ml4co

  Awesome machine learning for combinatorial optimization papers.

  Language:Python1.7k201

• LUMII-Syslab/QuerySAT

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

  Language:Python153

• microsoft/PDP-Solver

  PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers

  Language:Python4017

• Trusted-AI/adversarial-robustness-toolbox

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

  Language:Python4.9k1.2k

• parthitechnotion/GoogleAndroidTV

  Language:Java55

• JonaOliv/data_mining_lab

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

  Language:Jupyter Notebook1