Catching Tensor Shape Errors without Running Your Code

This talk presents shape types—annotations that express tensor dimensions—and shows how a type checker can catch mismatches before code runs. It also covers gradual adoption in existing machine learning projects, broadcasting support, and the approach’s limitations.