Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
Semia:通过约束引导的表示合成审计代理技能
机构 * University of California, Santa Barbara(加州大学圣芭芭拉分校) ; University of California, Los Angeles(加州大学洛杉矶分校) ; University of California, San Diego(加州大学圣地亚哥分校)
AI总结 Semia通过约束引导的表示合成技术,对代理技能进行静态审计,发现超过一半的技能存在关键语义风险,其召回率和F1值显著优于传统方法。