A typed domain-specific language that captures recurring tensor structures, such as repeated regions and floating-point fields, through a set of reversible operators, is designed, which formulates lossless tensor compression as program synthesis.
Jie-Ke Shi, Jun-Da He, Wenjia Jiang et al.· 0 citations
SymCA is an LLM-empowered interpretable CA framework that materializes column annotation as a global-to-local symbolic decision process and is accurate, robust, and interpretable.
Mengqi Wang, Jianwei Wang, Qing Liu et al.· arXiv.org· 0 citations
SkillZip is proposed, an execution-aware procedural abstraction framework that performs contract-preserving compression over section-level graphs that hydrates a compact, dependency-closed context and expands macros only when required.
Xingyu Tan, Xiaoyang Wang, Qing Liu et al.· 2 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.