abstract interpretation, adversarial training2, domain-specific languages, Neural Network Verification2, NLP, programming languages, types.