adversarial training, domain-specific languages, Neural Network Verification, programming languages, types.
