I gave a 5-minute talk on my project this semester, which is trying to compress Transformers with guarantees. Most of the talk is dedicated to fitting model compression into the big picture.