Sign in
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:
CoRR (2023)
Keyphrases
</>
neural network
linear threshold functions
agnostic learning
classification noise
uniform distribution
feature selection
model checking
learning algorithm
boosting algorithms
binary decision diagrams
cost sensitive
noise tolerant
active learning
heuristic search