paper-with-me

Papers

Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction

2019-09-22 · Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang

Neural networks are becoming a popular tool for solving many real-world problems such as object recognition and machine translation, thanks to its exceptional performance as an end-to-end solution. However, neural networks are complex black-box models, which hinders humans from interpreting and consequently trusting them in making critical decisions. Towards interpreting neural networks, several approaches have been proposed to extract simple deterministic models from neural networks. The results are not encouraging (e.g., low accuracy and limited scalability), fundamentally due to the limited expressiveness of such simple models. In this work, we propose an approach to extract probabilistic automata for interpreting an important class of neural networks, i.e., recurrent neural networks. Our work distinguishes itself from existing approaches in two important ways. One is that probability is used to compensate for the loss of expressiveness. This is inspired by the observation that human reasoning is often `probabilistic'. The other is that we adaptively identify the right level of abstraction so that a simple model is extracted in a request-specific way. We conduct experiments on several real-world datasets using state-of-the-art architectures including GRU and LSTM. The result shows that our approach significantly improves existing approaches in terms of accuracy or scalability. Lastly, we demonstrate the usefulness of the extracted models through detecting adversarial texts.

📄 PDF Abstract BibTeX arXiv:1909.10023

Code (1)

dgl-prc/rnn2automata 공식 구현

Tasks

Machine TranslationObject Recognition

Methods 이 논문이 사용한 방법론

Sigmoid Activation 설명 없음
Tanh Activation 설명 없음
LSTM An LSTM is a type of recurrent neural network that addresses the vanishing gradient problem in vanilla…
GRU A Gated Recurrent Unit, or GRU, is a type of recurrent neural network. It is similar to an LSTM, but only has two gates - a reset…

Similar Papers 제목 키워드 기반

Probabilistic Program Abstractions

2017-05-28 · Steven Holtzen, Todd Millstein, Guy Van Den Broeck

Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of program abstraction is the relationship b…

Toward Abstraction from Multi-modal Data: Empirical Studies on Multiple Time-scale Recurrent Models

2017-02-07 · Junpei Zhong, Angelo Cangelosi, Tetsuya OGATA

The abstraction tasks are challenging for multi- modal sequences as they require a deeper semantic understanding and a novel text generation for the data. Although the recurrent neural networks (RNN) can be used to model…

Robot ManipulationText Generation

Sound Abstraction and Decomposition of Probabilistic Programs

2018-07-01 · ICML 2018 7 · Steven Holtzen, Guy Broeck, Todd Millstein

Probabilistic programming languages are a flexible tool for specifying statistical models, but this flexibility comes at the cost of efficient analysis. It is currently difficult to compactly represent the subtle in…

Probabilistic Programming

TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI

2026-01-30 · Roham Koohestani, Ateş Görpelioğlu, Egor Klimov, Burcu Kulahcioglu Ozkan 외 arxiv

Agentic AI systems act through tools and evolve their behavior over long, stochastic interaction traces. This setting complicates assurance, because behavior depends on nondeterministic environments and probabilistic mod…

Anomaly Detection

Scalable Polyhedral Verification of Recurrent Neural Networks

2020-05-27 · Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh 외

We present a scalable and precise verifier for recurrent neural networks, called Prover based on two novel ideas: (i) a method to compute a set of polyhedral abstractions for the non-convex and nonlinear recurrent update…