将无损张量压缩视为程序合成：新方法 Brevis 存储节省超 30%
SingaporeManagementUniversity · hf · 2026-08-06
新加坡管理大学提出名为 Brevis 的无损张量压缩新方法，将压缩过程转化为程序合成（Program Synthesis）问题。
- 核心思路：设计了一种类型化领域特定语言（DSL），通过可逆算子捕捉重复区域和浮点字段等张量结构。系统能为给定张量合成自包含的 DSL 程序，实现逐位精确的解压重建。
- 性能表现：在涵盖语言、音频和图像生成的 10 个公开模型检查点上，Brevis 将 2.13 TB 的数据压缩至 1.41 TB，存储减少约 33.93%。
- 对比优势：生成的归档文件比 zstd、gzip 等通用压缩工具小最多 30.87%，同时也优于 ZipNN 和 DFloat11 等张量专用压缩器。
- 吞吐量：在实际并发配置下，实现了 3.60 GB/s 的压缩和 6.61 GB/s 的解压速度，且不丢失任何源字节。
「Infra」频道最新
- 单次AI提问耗电仅0.3瓦时？智能体能耗飙升600倍 — tobyordoxford · 2026-08-06
- Sam Altman 投资的 Oklo 小型核反应堆不到一年实现临界 — TinfoilTricorn · 2026-08-06
- 求助:如何将 MiniMax H3 优化栈移植到单卡 RTX 5090? — cat_trick · 2026-08-06
- 开发者构建小于500KB的物理神经网络，用于卫星轨道交会筛查 — AssociatePatient2860 · 2026-08-06
- InferBridge:支持 Intel NPU 的本地大模型一键运行工具 — Quazmoz · 2026-08-06
- 用24GB内存运行193B参数模型：8个专家模型动态路由实现 — Similar_Wealth_1850 · 2026-08-06