28 papers
TRACE: A Two-Channel Robust Attribution Watermark via Complementary Embeddings for LLM-Agent Trajectories
Zheng Gao, Xiaoyu Li, Xiaoyan Feng +5
LLM agents reach users through resellers, who may rebrand a developer's agent or substitute a cheaper model. When provenance is disputed, attribution rests on the trajectory log (t…
Harnessing Agent Skills: Architectural Patterns and a Reference Architecture for Skill-Mediated LLM Agents
Boming Xia, Liming Zhu, Zhenchang Xing +3
Agent skills externalise reusable agent-facing behavioural knowledge and guidance as persistent artefacts that can be discovered, activated, and interpreted by LLM agents. Although…
Uncertainty Propagation in LLM-Based Systems
Boming Xia, Liming Zhu, Erdun Gao +3
Uncertainty in large language model (LLM)-based systems is often studied at the level of a single model output, yet deployed LLM applications are compound systems in which uncertai…
From Exploration to Revelation: Detecting Dark Patterns in Mobile Apps
Jieshan Chen, Zhen Wang, Jiamou Sun +5
Mobile apps are essential in daily life but frequently employ deceptive patterns, such as visual emphasis or linguistic nudging, to manipulate user behavior. Existing research larg…
QUT: A Unit Testing Framework for Quantum Subroutines
Mykhailo V. Klymenko, Thong Hoang, Hoa Nguyen +6
We present the architectural design and prototype implementation of QUT (Quantum Unit Testing), a framework for unit testing of quantum subroutines. The framework is developed with…
A Structured Approach to Safety Case Construction for AI Systems
Sung Une Lee, Liming Zhu, Md Shamsujjoha +4
Safety cases, structured arguments that a system is acceptably safe, are becoming central to the governance of AI systems. Yet, traditional safety-case practices from aviation or n…