3 papers
cs.CV2026
Learning to Compose: Revisiting Proxy Task Design for Zero-Shot Composed Image Retrieval
Jingjing Zhang, Lei Zhang, Zheren Fu +1
Composed Image Retrieval (CIR) retrieves a target image from a reference image and a textual modification. While supervised CIR relies on costly triplets, Zero-Shot CIR (ZS-CIR) al…
cs.SE2026
Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
Zehan Chen, Long Zhang, Zhiwei Zhang +5
Traditional formal specification generation methods are typically tailored to specific specification types, and therefore suffer from limited generality. In recent years, large lan…
cs.SE2026
Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
Zehan Chen, Long Zhang, Zhiwei Zhang +5
Formal specifications play a pivotal role in accurately characterizing program behaviors and ensuring software correctness. In recent years, leveraging large language models (LLMs)…