59 citations · 103 across the 25 of their papers we have counts for
15 papers · 1 filter
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…
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…
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…
A Needle in a Haystack: Intent-driven Reusable Artifacts Recommendation with LLMs
Dongming Jin, Zhi Jin, Xiaohong Chen +6
In open source software development, the reuse of existing artifacts has been widely adopted to avoid redundant implementation work. Reusable artifacts are considered more efficien…
A Viable Paradigm of Software Automation: Iterative End-to-End Automated Software Development
Jia Li, Zhi Jin, Huangzhao Zhang +3
Software development automation is a long-term goal in software engineering. With the development of artificial intelligence (AI), more and more researchers are exploring approache…
AdapTrack: Constrained Decoding without Distorting LLM's Output Intent
Yongmin Li, Jia Li, Ge Li +1
Language model-based code generation and completion tools have been widely adopted, but they may sometimes produce code that does not meet necessary constraints, such as syntactic…