Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1910.13895
Cited By
Learning Deterministic Weighted Automata with Queries and Counterexamples
30 October 2019
Gail Weiss
Yoav Goldberg
Eran Yahav
TPM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Learning Deterministic Weighted Automata with Queries and Counterexamples"
27 / 27 papers shown
Title
Learning Quantitative Automata Modulo Theories
Eric Hsiung
Swarat Chaudhuri
Joydeep Biswas
21
0
0
15 Nov 2024
An
L
∗
\mathbf{L^*}
L
∗
Algorithm for Deterministic Weighted Regular Languages
Clemente Pasti
Talu Karagöz
Anej Svete
Franz Nowak
Reda Boumasmoud
Ryan Cotterell
37
0
0
09 Nov 2024
PDFA Distillation via String Probability Queries
Robert Baumgartner
S. Verwer
12
0
0
26 Jun 2024
On the Tractability of SHAP Explanations under Markovian Distributions
Reda Marzouk
C. D. L. Higuera
FAtt
18
3
0
05 May 2024
Simulating Weighted Automata over Sequences and Trees with Transformers
Michael Rizvi
M. Lizaire
Clara Lacroce
Guillaume Rabusseau
AI4CE
47
0
0
12 Mar 2024
DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction
Pouria Golshanrad
Fathiyeh Faghih
28
5
0
10 Feb 2024
Generative learning for nonlinear dynamics
William Gilpin
AI4CE
PINN
60
24
0
07 Nov 2023
Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions
Kazuki Irie
Róbert Csordás
Jürgen Schmidhuber
28
11
0
24 Oct 2023
LUNA: A Model-Based Universal Analysis Framework for Large Language Models
Da Song
Xuan Xie
Jiayang Song
Derui Zhu
Yuheng Huang
Felix Juefei Xu
Lei Ma
ALM
27
3
0
22 Oct 2023
Recurrent Neural Language Models as Probabilistic Finite-state Automata
Anej Svete
Ryan Cotterell
32
2
0
08 Oct 2023
Latent State Models of Training Dynamics
Michael Y. Hu
Angelica Chen
Naomi Saphra
Kyunghyun Cho
33
7
0
18 Aug 2023
Epicure: Distilling Sequence Model Predictions into Patterns
Miltiadis Allamanis
Earl T. Barr
16
0
0
16 Aug 2023
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks
Zeming Wei
Xiyue Zhang
Yihao Zhang
Meng Sun
11
10
0
24 Jun 2023
When are Local Queries Useful for Robust Learning?
Pascale Gourdeau
Varun Kanade
Marta Z. Kwiatkowska
J. Worrell
OOD
33
1
0
12 Oct 2022
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages
Zeming Wei
Xiyue Zhang
Meng Sun
77
7
0
27 Jun 2022
Towards Efficient Active Learning of PDFA
Franz Mayr
S. Yovine
Federico Pan
Nicolas Basset
Thao Dang
11
3
0
17 Jun 2022
Learning of Structurally Unambiguous Probabilistic Grammars
D. Fisman
Dolav Nitay
Michal Ziv-Ukelson
6
5
0
17 Mar 2022
Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval
Uri Alon
Frank F. Xu
Junxian He
Sudipta Sengupta
Dan Roth
Graham Neubig
RALM
74
62
0
28 Jan 2022
Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning
Taylor Dohmen
Noah Topper
George K. Atia
Andre Beckus
Ashutosh Trivedi
Alvaro Velasquez
17
13
0
09 Jul 2021
Extracting Weighted Automata for Approximate Minimization in Language Modelling
Clara Lacroce
Prakash Panangaden
Guillaume Rabusseau
12
7
0
05 Jun 2021
On the Complexity of Learning Description Logic Ontologies
Ana Ozaki
8
3
0
25 Mar 2021
MEME: Generating RNN Model Explanations via Model Extraction
Dmitry Kazhdan
B. Dimanov
M. Jamnik
Pietro Lió
LRM
13
13
0
13 Dec 2020
Uncertainty Estimation and Calibration with Finite-State Probabilistic RNNs
Cheng Wang
Carolin (Haas) Lawrence
Mathias Niepert
UQCV
10
10
0
24 Nov 2020
Distillation of Weighted Automata from Recurrent Neural Networks using a Spectral Approach
Rémi Eyraud
Stéphane Ayache
6
16
0
28 Sep 2020
On the Ability and Limitations of Transformers to Recognize Formal Languages
S. Bhattamishra
Kabir Ahuja
Navin Goyal
11
10
0
23 Sep 2020
Re-understanding Finite-State Representations of Recurrent Policy Networks
Mohamad H. Danesh
Anurag Koul
Alan Fern
Saeed Khorram
26
20
0
06 Jun 2020
Approximating probabilistic models as weighted finite automata
A. Suresh
Brian Roark
Michael Riley
Vlad Schogol
18
11
0
21 May 2019
1