Login / Signup
Boosting-Based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks.
Yiping Tang
Kohei Hatano
Eiji Takimoto
Published in:
DS (2023)
Keyphrases
</>
neural network
linear threshold functions
agnostic learning
heuristic search
classification noise
learning algorithm
uniform distribution
model checking
noise tolerant
binary decision diagrams
linear functions
feature selection
training data
knowledge compilation
target function