Results of Neural-Checker Toolbox in Taysir 2023 Competition. - Franz Mayr; Sergio Yovine; Matías Carrasco; Alejo Garat; Martín Iturbide; Juan da Silva; Federico Vilensky (ICGI, 2023)

A Congruence-based Approach to Active Automata Learning from Neural Language Models. - Franz Mayr; Sergio Yovine; Matías Carrasco; Federico Pan; Federico Vilensky (ICGI, 2023)