Tag
This paper introduces Brevis, a lossless tensor compression method that formulates compression as program synthesis using a typed DSL. It achieves 33.93% storage reduction on public checkpoints and outperforms general-purpose and tensor-specific compressors.