2 papers
cs.CE2026
Tensor Network Structure Search Via Canonical Dimension Tree Enumeration
Zheng Guo, Aditya Deshpande, Brian Kiedrowski +2
Tensor networks provide a powerful framework for compressing multi-dimensional data. The optimal tensor network structure for a given data tensor depends on both data characteristi…
cs.PL2026
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Rui Dong, Qingyue Wu, Danny Ding +3
Abstract semantics has proven to be instrumental for accelerating search-based program synthesis, by enabling the sound pruning of a set of incorrect programs (without enumerating…