A proof-of-concept program analysis that statically infers the shape of PyTorch tensors given parameter annotations, built for a final. Supports symbolic expressions without using an SMT solver. We're currently building it out into an analysis that can tackle a much larger subset of programs (which I wrote a post about).