Matthew Wicker

A game-based approximate verification of deep neural networks with provable guarantees

Min Wu, Matthew Wicker, Wenjie Ruan et al. · Theoretical Computer Science · 2019 · 114 citations · Full text

Artificial Intelligence, Game-based Approximate Verification, Deep Neural Networks +11

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska · Lecture notes in computer science · 2018 · 36 citations · Full text

Optimal learning of Markov <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e86" altimg="si603.svg"><mml:mi>k</mml:mi></mml:math>-tree topology

Di Chang, Liang Ding, Russell L. Malmberg et al. · Journal of Computational Mathematics and Data Science · 2022 · 32 citations · Full text

Higher Order Correlations, Engineering, Machine Learning +20

Robustness of Bayesian Neural Networks to Gradient-Based Attacks

Ginevra Carbone, Matthew Wicker, Luca Laurenti et al. · arXiv (Cornell University) · 2020 · 27 citations · Full text

Artificial Intelligence, Hamiltonian Monte Carlo, Engineering +13

Efficient Learning of Optimal Markov Network Topology with k-Tree Modeling

Liang Ding, Di Chang, Russell L. Malmberg et al. · arXiv (Cornell University) · 2018 · 21 citations · Full text

Mathematical Programming, Higher Order Correlations, Engineering +23