A tiny research group on the edge of theoretical deep learning