active Tensor Network Methods for Computational Science Tensor network methods for computational science — compressing and computing with high-dimensional data. Scaling Up Program Synthesis Making search-based program synthesis faster and more scalable. Type-Directed Program Synthesis for APIs Casting API discovery as proof search — synthesizing well-typed programs from type signatures. previous