Abstract is missing.
- Preface1-3 [doi]
- Learning of Regular Languages by Recurrent Neural Networks? (Mainly Questions)Dana Angluin. 4 [doi]
- Formal languages and neural models for learning on sequencesWilliam Merrill. 5 [doi]
- Weighted Finite Automata with Failure Transitions: Algorithms and ApplicationsCyril Allauzen. 6 [doi]
- A journey into the Generative AI and large language models: From NLP to BioInformaticsAhmed Elnaggar. 7 [doi]
- Extending Distributional Learning from Positive Data and Membership QueriesMakoto Kanazawa, Ryo Yoshinaka. 8-22 [doi]
- Identification of Substitutable Context-Free Languages over Infinite Alphabets from Positive DataYutaro Numaya, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara. 23-34 [doi]
- A Procedure for Inferring a Minimalist Lexicon from an SMT Model of a Language Acquisition DeviceSagar Indurkhya. 35-58 [doi]
- Learning Syntactic Monoids from Samples by extending known Algorithms for learning State MachinesSimon Dieck, Sicco Verwer. 59-79 [doi]
- String Extension Learning Despite Noisy IntrusionsKatherine Wu, Jeffrey Heinz. 80-95 [doi]
- fAST: regular expression inference from positive examples using Abstract Syntax TreesMaxime Raynal, Marc-Olivier Buob, Georges Quénot. 96-116 [doi]
- Learning state machines from data streams: A generic strategy and an improved heuristicRobert Baumgartner, Sicco Verwer. 117-141 [doi]
- Detecting Changes in Loop Behavior for Active LearningBram Verboom, Simon Dieck, Sicco Verwer. 142-156 [doi]
- Lower Bounds for Active Automata LearningLoes Kruger, Bharat Garhewal, Frits W. Vaandrager. 157-180 [doi]
- Benchmarking State-Merging Algorithms for Learning Regular LanguagesAdil Soubki, Jeffrey Heinz. 181-198 [doi]
- Formal and Empirical Studies of Counting Behaviour in ReLU RNNsNadine El-Naggar, Andrew Ryzhikov, Laure Daviaud, Pranava Madhyastha, Tillman Weyde. 199-222 [doi]
- Learning Transductions and Alignments with RNN Seq2seq ModelsZhengxiang Wang. 223-249 [doi]
- A Congruence-based Approach to Active Automata Learning from Neural Language ModelsFranz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky. 250-264 [doi]
- Active Inference of Extended Finite State Models of Software SystemsRoland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster 0001, Neil Walkinshaw. 265-269 [doi]
- Empirical and Theoretical Arguments for Using Properties of Letters for the Learning of Sequential FunctionsMagdalena Markowska, Jeffrey Heinz. 270-274 [doi]
- TAYSIR Competition: Transformer+RNN: Algorithms to Yield Simple and Interpretable RepresentationsRémi Eyraud, Dakotah Lambert, Badr Tahri Joutei, Aidar Gaffarov, Mathias Cabanne, Jeffrey Heinz, Chihiro Shibata. 275-290 [doi]
- Testing-based Black-box Extraction of Simple Models from RNNs and TransformersEdi Muskardin, Martin Tappler, Bernhard K. Aichernig. 291-294 [doi]
- Results of Neural-Checker Toolbox in Taysir 2023 CompetitionFranz Mayr, Sergio Yovine, Matías Carrasco, Alejo Garat, Martín Iturbide, Juan da Silva, Federico Vilensky. 295-298 [doi]