Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles

6 May 2021

Papers citing "Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles"

8 / 8 papers shown

Title
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles John Törnblom Emil Karlsson Simin Nadjm-Tehrani FAtt 146 0 0 16 Mar 2023
Verifying Tree Ensembles by Reasoning about Potential Instances Laurens Devos Wannes Meert Jesse Davis AAML 15 8 0 31 Jan 2020
Explainable Artificial Intelligence (XAI): Concepts, Taxonomies, Opportunities and Challenges toward Responsible AI Alejandro Barredo Arrieta Natalia Díaz Rodríguez Javier Del Ser Adrien Bennetot Siham Tabik ... S. Gil-Lopez Daniel Molina Richard Benjamins Raja Chatila Francisco Herrera XAI 130 6,321 0 22 Oct 2019
A Survey on Explainable Artificial Intelligence (XAI): Towards Medical XAI Erico Tjoa Cuntai Guan XAI 117 1,452 0 17 Jul 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 98 403 0 15 Mar 2019
Deep Neural Network Compression for Aircraft Collision Avoidance Systems Kyle D. Julian Mykel J. Kochenderfer Michael P. Owen 55 173 0 09 Oct 2018
Adversarial Robustness Toolbox v1.0.0 Maria-Irina Nicolae M. Sinn Minh-Ngoc Tran Beat Buesser Ambrish Rawat ... Nathalie Baracaldo Bryant Chen Heiko Ludwig Ian Molloy Ben Edwards AAML VLM 91 460 0 03 Jul 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 321 1,875 0 03 Feb 2017