Stars
VeriX: Towards Verified Explainability of Deep Neural Networks
A Bounded Model Checker equipped with Self-Driven Strategy-Learning
Proof Stitching for Divide-and-Conquer SAT solvers
Power Law Random k-SAT Generator
ICML2017 MEC: Memory-efficient Convolution for Deep Neural Network C++实现(非官方)