35 citations · 158 across the 37 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.OC2023
Variable T-Product and Zero-Padding Tensor Completion with Applications
Liqun Qi, Rui Yan, Ziyan Luo +2
The T-product method based upon Discrete Fourier Transformation (DFT) has found wide applications in engineering, in particular, in image processing. In this paper, we propose vari…
cs.LO2023
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
Ziyan Luo, Xujie Si
Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behind a wide range of verification and analysis tasks. Data-driven approaches show great promise in improving CH…