Extracting Robust Register Automata from Neural Networks over Data Sequences

Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin +3

Automata extraction is a method for synthesising interpretable surrogates for black-box neural models that can be analysed symbolically. Existing techniques assume a finite input a…