Passive Learning of Lattice Automata from Recurrent Neural Networks. - Jaouhar Slimi; Tristan Le Gall; Augustin Lemesle (CoRR, 2025)