Verification of Recurrent Neural Networks Through Rule Extraction

14 November 2018

Papers citing "Verification of Recurrent Neural Networks Through Rule Extraction"

4 / 4 papers shown

Title
Confidence Preservation Property in Knowledge Distillation Abstractions Dmitry Vengertsev Elena Sherman 24 0 0 21 Jan 2024
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 19 104 0 16 Feb 2020
Robustness Guarantees for Deep Neural Networks on Videos Min Wu Marta Z. Kwiatkowska AAML 17 22 0 28 Jun 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017