Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2212.01051
Cited By
VeriX: Towards Verified Explainability of Deep Neural Networks
2 December 2022
Min Wu
Haoze Wu
Clark W. Barrett
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"VeriX: Towards Verified Explainability of Deep Neural Networks"
4 / 4 papers shown
Title
On Tackling Explanation Redundancy in Decision Trees
Yacine Izza
Alexey Ignatiev
João Marques-Silva
FAtt
48
56
0
20 May 2022
Evaluating Deep Neural Networks Trained on Clinical Images in Dermatology with the Fitzpatrick 17k Dataset
Matthew Groh
Caleb Harris
L. Soenksen
Felix Lau
Rachel Han
Aerin Kim
A. Koochek
Omar Badri
104
180
0
20 Apr 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,832
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
178
929
0
21 Oct 2016
1