Cover Image

VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lee, Jungjae, Lee, Dongjae, Choi, Chihun, Im, Youngmin, Wi, Jaeyoung, Heo, Kihong, Oh, Sangeun, Lee, Sunjae, Shin, Insik
Format:	Preprint
Published:	2025
Subjects:	Human-Computer Interaction Artificial Intelligence Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MobiBench: Multi-Branch, Modular Benchmark for Mobile GUI Agents
by: Im, Youngmin, et al.
Published: (2025)

Explore, Select, Derive, and Recall: Augmenting LLM with Human-like Memory for Mobile Task Automation
by: Lee, Sunjae, et al.
Published: (2023)

AgentLens: Adaptive Visual Modalities for Human-Agent Interaction in Mobile GUI Agents
by: Kim, Jeonghyeon, et al.
Published: (2026)

Leveraging LLMs for Efficient and Personalized Smart Home Automation
by: Yu, Chaerin, et al.
Published: (2026)

CORA: Conformal Risk-Controlled Agents for Safeguarded Mobile GUI Automation
by: Feng, Yushi, et al.
Published: (2026)

RoboSafe: Safeguarding Embodied Agents via Executable Safety Logic
by: Wang, Le, et al.
Published: (2025)

Benchmarking Optimization Methods Enabling Efficient Designs for Diverse Nanophotonic Applications
by: Chihun Lee, et al.
Published: (2025)

SynAD: Enhancing Real-World End-to-End Autonomous Driving Models through Synthetic Data Integration
by: Kim, Jongsuk, et al.
Published: (2025)

Origin of Optimal Composition and Density for Li‐Ion Diffusion in Amorphous Li–P–S Electrolytes
by: Chihun Kim, et al.
Published: (2025)

SafeAgent: Safeguarding LLM Agents via an Automated Risk Simulator
by: Zhou, Xueyang, et al.
Published: (2025)

Efficient Few-Shot Neural Architecture Search by Counting the Number of Nonlinear Functions
by: Oh, Youngmin, et al.
Published: (2024)

Visual Test-time Scaling for GUI Agent Grounding
by: Luo, Tiange, et al.
Published: (2025)

Wavespace: A Highly Explorable Wavetable Generator
by: Lee, Hazounne, et al.
Published: (2024)

Mobile-Agent-v3: Fundamental Agents for GUI Automation
by: Ye, Jiabo, et al.
Published: (2025)

SecAgent: Efficient Mobile GUI Agent with Semantic Context
by: Xie, Yiping, et al.
Published: (2026)

VeriOS: Query-Driven Proactive Human-Agent-GUI Interaction for Trustworthy OS Agents
by: Wu, Zheng, et al.
Published: (2025)

META-GUI: Towards Multi-modal Conversational Agents on Mobile GUI
by: Sun, Liangtai, et al.
Published: (2022)

Physical Implementation of Optical Material‐Based Neural Networks Processing Enabled by Long‐Persistent Luminescence
by: Sangwon Wi, et al.
Published: (2026)

MobileGUI-RL: Advancing Mobile GUI Agent through Reinforcement Learning in Online Environment
by: Shi, Yucheng, et al.
Published: (2025)

MobileFlow: A Multimodal LLM For Mobile GUI Agent
by: Nong, Songqin, et al.
Published: (2024)

DeblurGS: Gaussian Splatting for Camera Motion Blur
by: Oh, Jeongtaek, et al.
Published: (2024)

MemGUI-Bench: Benchmarking Memory of Mobile GUI Agents in Dynamic Environments
by: Liu, Guangyi, et al.
Published: (2026)

GUI-CEval: A Hierarchical and Comprehensive Chinese Benchmark for Mobile GUI Agents
by: Li, Yang, et al.
Published: (2026)

Stage-Adaptive Reliability Modeling for Continuous Valence-Arousal Estimation
by: Lee, Yubeen, et al.
Published: (2026)

Benchmarking Mobile Device Control Agents across Diverse Configurations
by: Lee, Juyong, et al.
Published: (2024)

Faithful Mobile GUI Agents with Guided Advantage Estimator
by: Hu, Haowen, et al.
Published: (2026)

Saturated RISE control for considering rotor thrust saturation of fully actuated multirotor
by: Lee, Dongjae, et al.
Published: (2024)

AgentRAE: Remote Action Execution through Notification-based Visual Backdoors against Screenshots-based Mobile GUI Agents
by: Luo, Yutao, et al.
Published: (2026)

MobileRL: Online Agentic Reinforcement Learning for Mobile GUI Agents
by: Xu, Yifan, et al.
Published: (2025)

Depth-Regularized Optimization for 3D Gaussian Splatting in Few-Shot Images
by: Chung, Jaeyoung, et al.
Published: (2023)

Android in the Zoo: Chain-of-Action-Thought for GUI Agents
by: Zhang, Jiwen, et al.
Published: (2024)

White Aggregation and Restoration for Few-shot 3D Point Cloud Semantic Segmentation
by: Im, Jiyun, et al.
Published: (2025)

Mobile-Agent-v3.5: Multi-platform Fundamental GUI Agents
by: Xu, Haiyang, et al.
Published: (2026)

AgentCPM-GUI: Building Mobile-Use Agents with Reinforcement Fine-Tuning
by: Zhang, Zhong, et al.
Published: (2025)

Statistical Potential for Identical Fermions: Emergent Attraction and Pauli Crystal Formation
by: Lee, Kawon, et al.
Published: (2026)

Löb-Safe Logics for Reflective Agents
by: Ahrenbach, Seth
Published: (2024)

MobileSafetyBench: Evaluating Safety of Autonomous Agents in Mobile Device Control
by: Lee, Juyong, et al.
Published: (2024)

Weighted Conformal Prediction for Survival Analysis under Covariate Shift
by: Shin, Jaeyoung, et al.
Published: (2025)

Robust Linear Dueling Bandits with Post-serving Context under Unknown Delays and Adversarial Corruptions
by: Oh, Youngmin
Published: (2026)

LittleBit-2: Maximizing the Spectral Energy Gain in Sub-1-Bit LLMs via Latent Geometry Alignment
by: Lee, Banseok, et al.
Published: (2026)