16 citations · 25 across the 4 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023
Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks
Yiping Tang, Kohei Hatano, Eiji Takimoto
Understanding the characteristics of neural networks is important but difficult due to their complex structures and behaviors. Some previous work proposes to transform neural netwo…
cs.LG2020★ 16 cited
NPENAS: Neural Predictor Guided Evolution for Neural Architecture Search
Chen Wei, Chuang Niu, Yiping Tang +3
Neural architecture search (NAS) is a promising method for automatically design neural architectures. NAS adopts a search strategy to explore the predefined search space to find ou…