54 citations · 54 across the 1 of their papers we have counts for
1 paper · 1 filter
Xiaowei Huang, Daniel Kroening, Wenjie Ruan +5
In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level performance on several long-standing tasks. With the broader deplo…