Describir: Active learning of regular languages as an approach to neural language models verification.