ICGI

Keyphrases

Publications

2023

Adil Soubki, Jeffrey Heinz
Benchmarking State-Merging Algorithms for Learning Regular Languages. ICGI (2023)
Yutaro Numaya, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
Identification of Substitutable Context-Free Languages over Infinite Alphabets from Positive Data. ICGI (2023)
Preface. ICGI (2023)
Katherine Wu, Jeffrey Heinz
String Extension Learning Despite Noisy Intrusions. ICGI (2023)
Cyril Allauzen
Weighted Finite Automata with Failure Transitions: Algorithms and Applications. ICGI (2023)
Sagar Indurkhya
A Procedure for Inferring a Minimalist Lexicon from an SMT Model of a Language Acquisition Device. ICGI (2023)
Robert Baumgartner, Sicco Verwer
Learning state machines from data streams: A generic strategy and an improved heuristic. ICGI (2023)
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
Active Inference of Extended Finite State Models of Software Systems. ICGI (2023)
Loes Kruger, Bharat Garhewal, Frits W. Vaandrager
Lower Bounds for Active Automata Learning. ICGI (2023)
Rémi Eyraud, Dakotah Lambert, Badr Tahri Joutei, Aidar Gaffarov, Mathias Cabanne, Jeffrey Heinz, Chihiro Shibata
TAYSIR Competition: Transformer+RNN: Algorithms to Yield Simple and Interpretable Representations. ICGI (2023)
Franz Mayr, Sergio Yovine, Matías Carrasco, Alejo Garat, Martín Iturbide, Juan da Silva, Federico Vilensky
Results of Neural-Checker Toolbox in Taysir 2023 Competition. ICGI (2023)
Franz Mayr, Sergio Yovine, Matías Carrasco, Federico Pan, Federico Vilensky
A Congruence-based Approach to Active Automata Learning from Neural Language Models. ICGI (2023)
Dana Angluin
Learning of Regular Languages by Recurrent Neural Networks? (Mainly Questions). ICGI (2023)
Maxime Raynal, Marc-Olivier Buob, Georges Quénot
fAST: regular expression inference from positive examples using Abstract Syntax Trees. ICGI (2023)
Magdalena Markowska, Jeffrey Heinz
Empirical and Theoretical Arguments for Using Properties of Letters for the Learning of Sequential Functions. ICGI (2023)
Simon Dieck, Sicco Verwer
Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines. ICGI (2023)
Nadine El-Naggar, Andrew Ryzhikov, Laure Daviaud, Pranava Madhyastha, Tillman Weyde
Formal and Empirical Studies of Counting Behaviour in ReLU RNNs. ICGI (2023)
Makoto Kanazawa, Ryo Yoshinaka
Extending Distributional Learning from Positive Data and Membership Queries. ICGI (2023)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. ICGI (2023)
Bram Verboom, Simon Dieck, Sicco Verwer
Detecting Changes in Loop Behavior for Active Learning. ICGI (2023)
William Merrill
Formal languages and neural models for learning on sequences. ICGI (2023)
Zhengxiang Wang
Learning Transductions and Alignments with RNN Seq2seq Models. ICGI (2023)
Ahmed Elnaggar
A journey into the Generative AI and large language models: From NLP to BioInformatics. ICGI (2023)

volume 217, 2023

International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco. ICGI 217 (2023)

2021

volume 153, 2021

Proceedings of the 15th International Conference on Grammatical Inference, 23-27 August 2021, Virtual Event. ICGI 153 (2021)