Lossless Tensor Compression as Program Synthesis
Jieke Shi, Junda He, Wenjia Jiang, et al.
Brevis formulates lossless tensor compression as program synthesis, using a typed DSL and A* search to produce compact, bit-exact reconstruction programs for model checkpoints.