[edit]

Volume 217: International Conference on Grammatical Inference, 10-13 July 2023, Rabat, Morocco

[edit]

Editors: François Coste, Faissal Ouardi, Guillaume Rabusseau

[bib][citeproc]

Preface

Preface

François Coste, Faissal Ouardi, Guillaume Rabusseau; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:1-3

Distinguished lecture

Learning of Regular Languages by Recurrent Neural Networks? (Mainly Questions)

Dana Angluin; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:4-4

ICGI Angluin tutorial session

Formal languages and neural models for learning on sequences

William Merrill; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:5-5

Invited talks

Weighted Finite Automata with Failure Transitions: Algorithms and Applications

Cyril Allauzen; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:6-6

A journey into the Generative AI and large language models: From NLP to BioInformatics

Ahmed Elnaggar; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:7-7

Regular papers

Extending Distributional Learning from Positive Data and Membership Queries

Makoto Kanazawa, Ryo Yoshinaka; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:8-22

Identification of Substitutable Context-Free Languages over Infinite Alphabets from Positive Data

Yutaro Numaya, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:23-34

A Procedure for Inferring a Minimalist Lexicon from an SMT Model of a Language Acquisition Device

Sagar Indurkhya; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:35-58

Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines

Simon Dieck, Sicco Verwer; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:59-79

String Extension Learning Despite Noisy Intrusions

Katherine Wu, Jeffrey Heinz; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:80-95

fAST: regular expression inference from positive examples using Abstract Syntax Trees

Maxime Raynal, Marc-Olivier Buob, Georges Quénot; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:96-116

Learning state machines from data streams: A generic strategy and an improved heuristic

Robert Baumgartner, Sicco Verwer; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:117-141

Detecting Changes in Loop Behavior for Active Learning

Bram Verboom, Simon Dieck, Sicco Verwer; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:142-156

Lower Bounds for Active Automata Learning

Loes Kruger, Bharat Garhewal, Frits Vaandrager; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:157-180

Benchmarking State-Merging Algorithms for Learning Regular Languages

Adil Soubki, Jeffrey Heinz; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:181-198

Formal and Empirical Studies of Counting Behaviour in ReLU RNNs

Nadine El-Naggar, Andrew Ryzhikov, Laure Daviaud, Pranava Madhyastha, Tillman Weyde; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:199-222

Learning Transductions and Alignments with RNN Seq2seq Models

Zhengxiang Wang; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:223-249

A Congruence-based Approach to Active Automata Learning from Neural Language Models

Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:250-264

Abstracts on work in progress

Active Inference of Extended Finite State Models of Software Systems

Roland Groz, Catherine Oriat, Germán Vega, Adenilso Simao, Michael Foster, Neil Walkinshaw; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:265-269

Empirical and Theoretical Arguments for Using Properties of Letters for the Learning of Sequential Functions

Magdalena Markowska, Jeffrey Heinz; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:270-274

Taysir competition

TAYSIR Competition: Transformer+\textscrnn: Algorithms to Yield Simple and Interpretable Representations

Rémi Eyraud, Dakotah Lambert, Badr Tahri Joutei, Aidar Gaffarov, Mathias Cabanne, Jeffrey Heinz, Chihiro Shibata; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:275-290

Testing-based Black-box Extraction of Simple Models from RNNs and Transformers

Edi Muškardin, Martin Tappler, Bernhard K. Aichernig; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:291-294

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; Proceedings of 16th edition of the International Conference on Grammatical Inference, PMLR 217:295-298

subscribe via RSS