PhD student in Purdue University Computer Science Department
Lantern. Cuda
MCTSminisat. minisat within MCTS
minisat. C++
demystifying-ad. TeX
baseline. RL algorithm (adapted for SAT solver)
pytorch_annotation. PyTorch Annotation
NeuSAT. Python
Solver2QBF. Python
