Pinned Repositories
TensorSAT
Neural net for solving SAT problems
Bailey-MiniSAT
Some modifications to (the MapleSAT derivative of) MiniSAT for deeper clause inspection for probability heuristics
opt_einsum_fx
Einsum optimization using opt_einsum and PyTorch FX graph rewriting
RandSAT
Generates random SAT problems. Runs in a parallel thread. Interfaces with Python. (Used for training SAT solvers.)
Taskfront
Dynamic-list oriented task and project management app (see README.md)
AIDeepDiveNovember
Bootcamp projects
e3nn
A modular framework for neural networks with Euclidean symmetry
e3nn
A modular framework for neural networks with Euclidean symmetry
opt_einsum_fx
Einsum optimization using opt_einsum and PyTorch FX graph rewriting
oral
mister-bailey's Repositories
mister-bailey/opt_einsum_fx
Einsum optimization using opt_einsum and PyTorch FX graph rewriting
mister-bailey/e3nn
A modular framework for neural networks with Euclidean symmetry
mister-bailey/AIDeepDiveNovember
Bootcamp projects
mister-bailey/RandSAT
Generates random SAT problems. Runs in a parallel thread. Interfaces with Python. (Used for training SAT solvers.)
mister-bailey/Bailey-MiniSAT
Some modifications to (the MapleSAT derivative of) MiniSAT for deeper clause inspection for probability heuristics
mister-bailey/TensorSAT
Neural net for solving SAT problems
mister-bailey/Taskfront
Dynamic-list oriented task and project management app (see README.md)