29 citations · 63 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 29 cited
Efficient Exact Verification of Binarized Neural Networks
Kai Jia, Martin Rinard
Concerned with the reliability of neural networks, researchers have developed verification techniques to prove their robustness. Most verifiers work with real-valued networks. Unfo…
cs.LG2020
Exploiting Verified Neural Networks via Floating Point Numerical Error
Kai Jia, Martin Rinard
Researchers have developed neural network verification algorithms motivated by the need to characterize the robustness of deep neural networks. The verifiers aspire to answer wheth…