Brevis

Brevis系统为无损张量压缩合成程序

研究人员开发了Brevis，一个将无损张量压缩视为程序合成问题的创新系统。Brevis利用具有可逆运算符的领域特定语言（DSL）来捕获张量结构，从而能够合成紧凑的、可执行的重构程序。该方法在10个大型模型检查点上实现了33.93%的存储空间缩减，优于Zstandard和GZIP等通用压缩器以及ZipNN和DFloat11等张量特定方法。Brevis还展示了高速的压缩和解压缩速率，同时确保了比特精确重构。