18 citations · 23 across the 7 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.SE2025
Breaking the Myth: Can Small Models Infer Postconditions Too?
Gehao Zhang, Zhenting Wang, Juan Zhai
Formal specifications are essential for ensuring software correctness, yet manually writing them is tedious and error-prone. Large Language Models (LLMs) have shown promise in gene…
cs.CR2025
Disappearing Ink: Obfuscation Breaks N-gram Code Watermarks in Theory and Practice
Gehao Zhang, Mingzhe Li, Eugene Bagdasarian +2
Large language models (LLMs) are increasingly used for code generation, making reliable identification of machine-generated code important for attribution, tracking, and misuse det…
cs.CV2025
EDITOR: Effective and Interpretable Prompt Inversion for Text-to-Image Diffusion Models
Mingzhe Li, Kejing Xia, Gehao Zhang +5
Text-to-image generation models~(e.g., Stable Diffusion) have achieved significant advancements, enabling the creation of high-quality and realistic images based on textual descrip…