A Congruence-based Approach to Active Automata Learning from Neural Language Models |
A Procedure for Inferring a Minimalist Lexicon from an SMT Model of a Language Acquisition Device |
Benchmarking State-Merging Algorithms for Learning Regular Languages |
Detecting Changes in Loop Behavior for Active Learning |
Extending Distributional Learning from Positive Data and Membership Queries |
fAST: regular expression inference from positive examples using Abstract Syntax Trees |
Formal and Empirical Studies of Counting Behaviour in ReLU RNNs |
Identification of Substitutable Context-Free Languages over Infinite Alphabets from Positive Data |
Learning state machines from data streams: A generic strategy and an improved heuristic |
Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines |
Learning Transductions and Alignments with RNN Seq2seq Models |
Lower Bounds for Active Automata Learning |
String Extension Learning Despite Noisy Intrusions |
Accepted work in progress
TBA