NLP, verification, machine learning