3 papers
cs.SE2026
Can Formal Specifications Be Synthesized from Tests Alone?
Tianhai Liu, Maximilian Müller, Tobias Hey +4
Formal specifications offer strong guarantees, but remain costly to write manually. Recent LLM-based approaches automate this by inferring specifications from source code, yet thei…
math.FA2026
Deep zero problems and the HRT conjecture
Yufei Li, Zeguang Liu, Kehe Zhu
We investigate a "deep zero problem" proposed by Hedenmalm. We show that there is a natural connection between Hedenmalm's problem and the classical HRT conjecture in time-frequenc…
math.SP2026
The inverse eigenvalue problems for perturbed Bessel operator with mixed data
Zeguang Liu, Xin-Jian Xu
We consider inverse eigenvalue problems for the perturbed Bessel operator in . (1) For the case where the angular-momentum quantum number ,…