Interpretable Sequence Classification via Discrete Optimization
Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
Abstract
Sequence classification is the task of predicting a class label given a sequence of observations. In many applications such as healthcare monitoring or intrusion detection, early classification is crucial to prompt intervention. In this work, we learn sequence classifiers that favour early classification from an evolving observation trace. While many state-of-the-art sequence classifiers are neural networks, and in particular LSTMs, our classifiers take the form of finite state automata and are learned via discrete optimization. Our automata-based classifiers are interpretable---supporting explanation, counterfactual reasoning, and human-in-the-loop modification---and have strong empirical performance. Experiments over a suite of goal recognition and behaviour classification datasets show our learned automata-based classifiers to have comparable test performance to LSTM-based classifiers, with the added advantage of being interpretable.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext ca5c71a5-ecdc-4594-a90b-7c26480bb158Cited by top-tier papers4
- Learning Interpretable Temporal Properties from Positive Examples OnlyRajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider et al.AAAI 2023 · 21 citations
- NADA: Neural Acceptance-Driven Approximate Specification MiningWeilin Luo, Tingchen Han, Junming Qiu, Hai Wan et al.ISSTA 2025 · 1 citation
- Learning DFAs from Positive Examples Only via Word CountingBenjamin Bordais, Daniel NeiderAAAI 2026
- Active Learning of Symbolic Automata over Rational NumbersSebastián Hagedorn Gaete, Martín Muñoz, Cristian Riveros, Rodrigo Toro IcarteAAAI 2026
Builds on1
Related papers
- AdaAX: Explaining Recurrent Neural Networks by Learning Automata with Adaptive StatesDat Hong, Alberto Maria Segre, Tong WangKDD 2022 · 3 citations
- Recurrent Halting Chain for Early Multi-label ClassificationThomas Hartvigsen, Cansu Sen, Xiangnan Kong, Elke A. RundensteinerKDD 2020 · 18 citations
- Neural-based classification rule learning for sequential dataMarine Collery, Philippe Bonnard, François Fages, Remy KustersICLR 2023
- Decision-Guided Weighted Automata Extraction from Recurrent Neural NetworksXiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma et al.AAAI 2021 · 25 citations
- Self-Interpretable Time Series Prediction with Counterfactual ExplanationsJingquan Yan, Hao WangICML 2023 · 29 citations
