Pinned Repositories
learning-generic-csp
Representing CP problems as graphs
paperlib
An open-source academic paper management tool.
BPNN
GNN-GCP
Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)
approxmc
Approximate Model Counter
PowerToys
Windows system utilities to maximize productivity
NeuroSAT-1
PyTorch implementation of NeuroSAT
OneStopEnglishCorpus
sentiment-analysis-proj
NLP project
NSNet
[NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
x-lad's Repositories
x-lad/NeuroSAT-1
PyTorch implementation of NeuroSAT
x-lad/OneStopEnglishCorpus
x-lad/sentiment-analysis-proj
NLP project