Learning Deterministic Weighted Automata with Queries and Counterexamples
Not on the map. Why?
Abstract (arXiv)
We present an algorithm for extraction of a probabilistic deterministic finite automaton (PDFA) from a given black-box language model, such as a recurrent neural network (RNN). The algorithm is a variant of the exact-learning algorithm L*, adapted to a probabilistic setting with noise. The key insight is the use of conditional probabilities for observations, and the introduction of a local tolerance when comparing them. When applied to RNNs, our algorithm often achieves better word error rate (WER) and normalised distributed cumulative gain (NDCG) than that achieved by spectral extraction of weighted finite automata (WFA) from the same networks. PDFAs are substantially more expressive than n-grams, and are guaranteed to be stochastic and deterministic - unlike spectrally extracted WFAs.
Key facts. Cited by 22 papers in the map (data through 7 Oct 2026). First posted on arXiv 30 Oct 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 3; 2022: 5; 2023: 7; 2024: 7.
22 papers.
Sort:
- 2022Neuro-Symbolic Language Modeling with Automaton-augmented Retrievalcited by 60
- 2023Generative learning for nonlinear dynamicscited by 22
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2023Latent State Models of Training Dynamicscited by 15
- 2021Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learningcited by 13
- 2022Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languagescited by 10
- 2024On the Tractability of SHAP Explanations under Markovian Distributionscited by 10
- 2023Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Taskscited by 7
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automatacited by 6
- 2023LUNA: A Model-Based Universal Analysis Framework for Large Language Modelscited by 4
- 2024Simulating Weighted Automata over Sequences and Trees with Transformerscited by 4
- 2021Extracting Weighted Automata for Approximate Minimization in Language Modellingcited by 3
10 more
- 2022Towards Efficient Active Learning of PDFAcited by 3
- 2024Extracting Moore Machines from Transformers using Queries and Counterexamplescited by 2
- 2021On the Complexity of Learning Description Logic Ontologiescited by 1
- 2022Learning of Structurally Unambiguous Probabilistic Grammarscited by 1
- 2022When are Local Queries Useful for Robust Learning?cited by 1
- 2024An L^* Algorithm for Deterministic Weighted Regular Languagescited by 1
- 2023Epicure: Distilling Sequence Model Predictions into Patternscited by 0
- 2024DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extractioncited by 0
- 2024PDFA Distillation via String Probability Queriescited by 0
- 2024Learning Quantitative Automata Modulo Theoriescited by 0
- 2024Learning Quantitative Automata Modulo Theories15 Nov 2024
- 2024An L^* Algorithm for Deterministic Weighted Regular Languages9 Nov 2024
- 2024Extracting Moore Machines from Transformers using Queries and Counterexamples8 Oct 2024
- 2024PDFA Distillation via String Probability Queries26 Jun 2024
- 2024On the Tractability of SHAP Explanations under Markovian Distributions5 May 2024
- 2024Simulating Weighted Automata over Sequences and Trees with Transformers12 Mar 2024
- 2024DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction10 Feb 2024
- 2023Generative learning for nonlinear dynamics7 Nov 2023
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions24 Oct 2023
- 2023LUNA: A Model-Based Universal Analysis Framework for Large Language Models22 Oct 2023
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automata8 Oct 2023
- 2023Latent State Models of Training Dynamics18 Aug 2023
10 more
- 2023Epicure: Distilling Sequence Model Predictions into Patterns16 Aug 2023
- 2023Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks24 Jun 2023
- 2022When are Local Queries Useful for Robust Learning?12 Oct 2022
- 2022Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages27 Jun 2022
- 2022Towards Efficient Active Learning of PDFA17 Jun 2022
- 2022Learning of Structurally Unambiguous Probabilistic Grammars17 Mar 2022
- 2022Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval28 Jan 2022
- 2021Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning9 Jul 2021
- 2021Extracting Weighted Automata for Approximate Minimization in Language Modelling5 Jun 2021
- 2021On the Complexity of Learning Description Logic Ontologies25 Mar 2021
- 2022Neuro-Symbolic Language Modeling with Automaton-augmented Retrievalcited by 60
- 2023Generative learning for nonlinear dynamicscited by 22
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensionscited by 20
- 2023Latent State Models of Training Dynamicscited by 15
- 2021Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learningcited by 13
- 2022Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languagescited by 10
- 2024On the Tractability of SHAP Explanations under Markovian Distributionscited by 10
- 2023Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Taskscited by 7
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automatacited by 6
- 2023LUNA: A Model-Based Universal Analysis Framework for Large Language Modelscited by 4
- 2024Simulating Weighted Automata over Sequences and Trees with Transformerscited by 4
- 2021Extracting Weighted Automata for Approximate Minimization in Language Modellingcited by 3
12 most cited of 22 All 22 (JSON)
- 2024Learning Quantitative Automata Modulo Theories15 Nov 2024
- 2024An L^* Algorithm for Deterministic Weighted Regular Languages9 Nov 2024
- 2024Extracting Moore Machines from Transformers using Queries and Counterexamples8 Oct 2024
- 2024PDFA Distillation via String Probability Queries26 Jun 2024
- 2024On the Tractability of SHAP Explanations under Markovian Distributions5 May 2024
- 2024Simulating Weighted Automata over Sequences and Trees with Transformers12 Mar 2024
- 2024DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction10 Feb 2024
- 2023Generative learning for nonlinear dynamics7 Nov 2023
- 2023Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions24 Oct 2023
- 2023LUNA: A Model-Based Universal Analysis Framework for Large Language Models22 Oct 2023
- 2023Recurrent Neural Language Models as Probabilistic Finite-state Automata8 Oct 2023
- 2023Latent State Models of Training Dynamics18 Aug 2023
12 newest of 22 All 22 (JSON)