115 citations · 262 across the 51 of their papers we have counts for
56 papers
ICO: Enhancing Semantic-Shift Jailbreaks via Iterative Context Optimization
Hujian Zhu, Yihao Huang, Felix Juefei-Xu +5
Foundation models have achieved remarkable success across diverse tasks, but they remain vulnerable. To investigate such vulnerabilities, semantic-shift jailbreaks have recently em…
BTOR2-Based C Program Verification via Hardware Model Checking
Xinyu Zhang, Runxuan Fang, Ziqun Bao +3
Program verification tools often rely on specific intermediate representations and analysis backends, limiting the reuse of verification algorithms and model checkers across framew…
Clarity Is Not Assumed: Understanding LLM-Based Code Generation under Ambiguous Requirements
Di Yang, Xinou Xie, Xiuwen Yang +7
Software requirement ambiguity is ubiquitous in real-world development, stemming from the inherent imprecision of natural language and the varying interpretations of stakeholders.…
Evaluating Privilege Usage of Agents with Real-World Tools
Quan Zhang, Lianhang Fu, Lvsi Lian +5
Equipping LLM agents with real-world tools can substantially improve productivity. However, granting agents autonomy over tool use also transfers the associated privileges to both…
Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization
Zidong Zhao, Yihao Huang, Qing Guo +5
As Text-to-Image (T2I) generation becomes widespread, third-party platforms increasingly integrate multiple model APIs for convenient image creation. However, false claims of using…
From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
Yiheng Xiong, Ting Su, Jingling Sun +4
Property-based testing (PBT) is a popular software testing methodology and is effective in validating the functionality of mobile applications (apps for short). However, its adopti…