無損張量壓縮視為程式合成
為何重要
Brevis 透過程式合成技術解決了 AI 模型檢查點日益膨脹的儲存困境，在保留位元精確度與高速解壓（6.61 GB/s）之間取得了平衡。此技術若要在開發者社群普及，或許會改變 Hugging Face Hub 等平臺的預設儲存格式，取代通用壓縮器以應對 AIGC 時代的資產管理需求。
Brevis 提出一種將無損張量壓縮形式化為程式合成的新方法，利用 P 程式恢復張量位元。</strong><br>- Brevis 採用具型別 DSL 與生產先驗模型結合受限 A* 搜尋，能生成特定於張量結構的壓縮程式檔。</strong><br>- 在 10 個涵蓋語言、音訊及影像生成模型的檢查點測試中，原始 2.13 TB 資料壓縮後降至 1.41 TB，儲存空間減少 33.93%。</strong><br>- 與 zstd、gzip 等通用壓縮器相比，Brevis 能製造出體積小逾 30% 的封存檔，且解壓速度達 6.61 GB/s。</strong>