msakai/bnn-verification

BNN verification dataset for Max-SAT Evaluation 2020, MIPLIB 2024, and Pseudo-Boolean Competition 2025

语言：TeX · GitHub 星标：4 · Fork：0

话题：adversarial-examples · binarized-neural-networks · maxsat · maxsat-solver · milp · mip · mixed-integer-linear-programming · mixed-integer-programming

在 GitHub 上查看原仓库