Automated machine learning (AutoML) can make data scientists more productive. But if
machine learning is totally automated, that leaves no room for data scientists to apply their …

While artificial intelligence (AI) models have improved at understanding large-scale data,
understanding AI models themselves at any scale is difficult. For example, even two models …

While Python is increasingly popular, program analysis tooling for Python is lagging. This is
due, in part, to complex features of the Python language---features with difficult to …

Machine-learning operators often have correctness constraints that cut across multiple
hyperparameters and/or data. Violating these constraints causes the operator to raise …

Application programming interfaces often have correctness constraints that cut across
multiple arguments. Violating these constraints causes the underlying code to raise runtime …

Automatic extraction of information from publications is key to making scientific knowledge
machine-readable at a large scale. The extracted information can, for example, facilitate …