Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. - Borja Balle; Clara Lacroce; Prakash Panangaden; Doina Precup; Guillaume Rabusseau (ICALP, 2021)

Extracting Weighted Automata for Approximate Minimization in Language Modelling. - Clara Lacroce; Prakash Panangaden; Guillaume Rabusseau (ICGI, 2021)

Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case. - Clara Lacroce; Prakash Panangaden; Guillaume Rabusseau (CoRR, 2022)

Length independent PAC-Bayes bounds for Simple RNNs. - Volodimir Mitarchuk; Clara Lacroce; Rémi Eyraud; Rémi Emonet; Amaury Habrard; Guillaume Rabusseau (AISTATS, 2024)

Simulating weighted automata over sequences and trees with transformers. - Michael Rizvi-Martel; Maude Lizaire; Clara Lacroce; Guillaume Rabusseau (AISTATS, 2024)

Optimal approximate minimization of one-letter weighted finite automata. - Clara Lacroce; Borja Balle; Prakash Panangaden; Guillaume Rabusseau (Math. Struct. Comput. Sci., 2024)