ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2212.01051
  4. Cited By
VeriX: Towards Verified Explainability of Deep Neural Networks

VeriX: Towards Verified Explainability of Deep Neural Networks

2 December 2022
Min Wu
Haoze Wu
Clark W. Barrett
    AAML
ArXivPDFHTML

Papers citing "VeriX: Towards Verified Explainability of Deep Neural Networks"

4 / 4 papers shown
Title
On Tackling Explanation Redundancy in Decision Trees
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
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
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
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
178
929
0
21 Oct 2016
1