21 citations · 31 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LG2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Min Wu, Matthew Wicker, Wenjie Ruan +2
Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns. In this paper, we study two variants of pointwise r…
cs.DS2018★ 21 cited
Efficient Learning of Optimal Markov Network Topology with k-Tree Modeling
Liang Ding, Di Chang, Russell Malmberg +5
The seminal work of Chow and Liu (1968) shows that approximation of a finite probabilistic system by Markov trees can achieve the minimum information loss with the topology of a ma…