feiwang3311

followers

following

stars

West Lafayette

Fei Wang's repositories

Lantern

Language:CudaBSD-3-Clause167 19 15

MCTSminisat

minisat within MCTS

Language:C++NOASSERTION300

minisat

Language:C++NOASSERTION2 20

baseline

RL algorithm (adapted for SAT solver)

Language:PythonMIT100

demystifying-ad

Language:TeX100

LMS-Halide

A DSL for image processing pipelines

Language:C1 10

NeuSAT

Language:Python1 30

Solver2QBF

Language:Python1 30

autodiff

Language:Scala000

cs502

Language:CSS020

formal

Language:TeX020

gym

RL gym

Language:PythonNOASSERTION000

highOrder

Language:Scala000

Neuro2QBF

Language:Python000

Non-Convex-Newton

Language:MATLAB000

onnx

Open Neural Network Exchange

Language:PureBasicNOASSERTION000

Play2QBF

Language:Python000

Predict2QBF

Language:Python000

purduepl.github.io

A blog of Programming Languages Group @Purdue

Language:HTML000

Search2QBF

Language:Python040