conftrace_

contextual judge

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety detection (1) mobile agent (1) vision-language model (1) formal verification (1)

Papers

OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows ACL 2026