Describir: Efficient probabilistic model learning techniques for application to the verification of Large Language Models