paper-with-me

Papers

i-Algebra: Towards Interactive Interpretability of Deep Neural Networks

2021-01-22 · Xinyang Zhang, Ren Pang, Shouling Ji, Fenglong Ma, Ting Wang

Providing explanations for deep neural networks (DNNs) is essential for their use in domains wherein the interpretability of decisions is a critical prerequisite. Despite the plethora of work on interpreting DNNs, most existing solutions offer interpretability in an ad hoc, one-shot, and static manner, without accounting for the perception, understanding, or response of end-users, resulting in their poor usability in practice. In this paper, we argue that DNN interpretability should be implemented as the interactions between users and models. We present i-Algebra, a first-of-its-kind interactive framework for interpreting DNNs. At its core is a library of atomic, composable operators, which explain model behaviors at varying input granularity, during different inference stages, and from distinct interpretation perspectives. Leveraging a declarative query language, users are enabled to build various analysis tools (e.g., "drill-down", "comparative", "what-if" analysis) via flexibly composing such operators. We prototype i-Algebra and conduct user studies in a set of representative analysis tasks, including inspecting adversarial inputs, resolving model inconsistency, and cleansing contaminated data, all demonstrating its promising usability.

📄 PDF Abstract BibTeX arXiv:2101.09301

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Toward a Functional Geometric Algebra for Natural Language Semantics

2026-04-28 · James Pustejovsky arxiv

Distributional and neural approaches to natural language semantics have been built almost exclusively on conventional linear algebra: vectors, matrices, tensors, and the operations that accompany them. These methods have…

Solving Linear Algebra by Program Synthesis

2021-11-16 · Iddo Drori, Nakul Verma

We solve MIT's Linear Algebra 18.06 course and Columbia University's Computational Linear Algebra COMS3251 courses with perfect accuracy by interactive program synthesis. This surprisingly strong result is achieved by tu…

MathProgram SynthesisZero-Shot Learning

Solving Linear Algebra by Program Synthesis

2021-11-16 · ACL ARR November 2021 11 · Anonymous

We solve MIT's Linear Algebra 18.06 course and Columbia University's Computational Linear Algebra COMS3251 courses with perfect accuracy by interactive program synthesis. This surprisingly strong result is achieved by tu…

MathProgram SynthesisZero-Shot Learning

GA-VisAgent: A Multi-Agent application for code generation and visualization in interactive learning

2026-05-02 · Wang Jian, Zhou Jianbo, Xiong Yuhao, Liu Zhenxia 외 arxiv

Geometric Algebra (GA) presents challenges to learners due to its highly abstract mathematical structure and complex operational rules, as translating algebraic manipulations into concrete geometric interpretations is a …

Code Generation

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams

2024-08-20 · Litian Huang, Xinguo Yu, Feng Xiong, Bin He 외

Solving Algebra Problems with Geometry Diagrams (APGDs) is still a challenging problem because diagram processing is not studied as intensively as language processing. To work against this challenge, this paper proposes …

Deep Reinforcement LearningModel Selection