conftrace_

neural network abstraction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic interpolation (1) pre-image computation (1) formal analysis (1) interpretable control law (1) symbolic abstraction (1) neural network verification (1)

Papers

Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019