59 citations · 145 across the 33 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient Code Generation
Yu Yu, Zhihong Sun, Jia Li +8
Large Language Models (LLMs) are capable of generating syntactically correct and functionally complete programs, greatly streamlining software development. However, recent studies…
cs.SE2026
ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
Yue Fang, Zhi Jin, Jie An +3
Signal Temporal Logic (STL) is a formal language for specifying real-time behaviors of cyber-physical systems (CPS). Automatically transforming natural language requirements into S…
cs.SE2026
Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation
Jia Li, Ruiqi Bai, Yangkang Luo +7
Code generation refers to automatically producing executable programs from user requirements. Recently, researchers have explored approaches to enhance the correctness of generated…