Cover Image

VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agents

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nguyen, Thong Q., Desai, Shubhang, Anwar, Raja Hasnain, Shaik, Firoz, Suryanarayanan, Vishwas, Chowdhary, Vishal
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TheMCPCompany: Creating General-purpose Agents with Task-specific Tools
by: Esfandiarpoor, Reza, et al.
Published: (2025)

Comparing Human Oversight Strategies for Computer-Use Agents
by: Chen, Chaoran, et al.
Published: (2026)

Formal Verification of Quantum Circuits Performance Analysis Across Algorithmic and Protocol-Based Implementations
by: Hasnain, Muhammad
Published: (2026)

Contestable Multi-Agent Debate with Arena-based Argumentative Computation for Multimedia Verification
by: Nguyen, Truong Thanh Hung, et al.
Published: (2026)

Specification and Automatic Verification of Computational Reductions
by: Grange, Julien, et al.
Published: (2024)

QED: Scalable Verification of Hardware Memory Consistency
by: Ravi, Gokulan, et al.
Published: (2024)

AgentGuard: Runtime Verification of AI Agents
by: Koohestani, Roham
Published: (2025)

An Age-Agnostic System for Robust Speaker Verification
by: Zheng, Jiusi, et al.
Published: (2025)

Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks
by: Vadlamani, Madhav, et al.
Published: (2026)

MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems
by: Venkataramani, Vishal, et al.
Published: (2026)

Celestial Objects as Dark Matter Colliders
by: Nguyen, Thong T. Q.
Published: (2023)

Hunting for Dark Photon-Photon Tridents
by: Nguyen, Thong T. Q.
Published: (2025)

Towards Scalable Oversight with Collaborative Multi-Agent Debate in Error Detection
by: Chen, Yongqiang, et al.
Published: (2025)

Rx Strategist: Prescription Verification using LLM Agents System
by: Van, Phuc Phan, et al.
Published: (2024)

GDPR Auto-Formalization with AI Agents and Human Verification
by: Nguyen, Ha Thanh, et al.
Published: (2026)

STEVE: A Step Verification Pipeline for Computer-use Agent Training
by: Lu, Fanbin, et al.
Published: (2025)

Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
by: Lifshitz, Shalev, et al.
Published: (2025)

Speaker Verification in Agent-Generated Conversations
by: Yang, Yizhe, et al.
Published: (2024)

Verification of Robust Multi-Agent Systems
by: Berthon, Raphaël, et al.
Published: (2026)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

Enhancing Age-Related Robustness in Children Speaker Verification
by: Shetty, Vishwas M., et al.
Published: (2025)

Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
by: Garg, Krishna, et al.
Published: (2025)

AgentSynth: Scalable Task Generation for Generalist Computer-Use Agents
by: Xie, Jingxu, et al.
Published: (2025)

Local Prompt Optimization
by: Jain, Yash, et al.
Published: (2025)

Multimedia Verification Through Multi-Agent Deep Research Multimodal Large Language Models
by: Le, Huy Hoan, et al.
Published: (2025)

CoVe: Training Interactive Tool-Use Agents via Constraint-Guided Verification
by: Chen, Jinpeng, et al.
Published: (2026)

Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use
by: Zhou, Ziling
Published: (2026)

Verification-Aware Planning for Multi-Agent Systems
by: Xu, Tianyang, et al.
Published: (2025)

Behavioral Integrity Verification for AI Agent Skills
by: Wu, Yuhao, et al.
Published: (2026)

Agentproof: Static Verification of Agent Workflow Graphs
by: Xavier, Melwin, et al.
Published: (2026)

OSGym: Scalable OS Infra for Computer Use Agents
by: Qin, Zengyi, et al.
Published: (2025)

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
by: Kumar, Aman, et al.
Published: (2026)

VerifiAgent: a Unified Verification Agent in Language Model Reasoning
by: Han, Jiuzhou, et al.
Published: (2025)

G-IFT: A Gated Linear Unit adapter with Iterative Fine-Tuning for Low-Resource Children's Speaker Verification
by: Shetty, Vishwas M., et al.
Published: (2025)

Autoformalizing Memory Specifications with Agents
by: Ernst, Jan Ole, et al.
Published: (2026)

SVAgent: AI Agent for Hardware Security Verification Assertion
by: Guo, Rui, et al.
Published: (2025)

CIVeX: Causal Intervention Verification for Language Agents
by: Rovai, Fabio
Published: (2026)

CompAgent: An Agentic Framework for Visual Compliance Verification
by: Ghosh, Rahul, et al.
Published: (2025)

Multi-Agent Code Verification via Information Theory
by: Rajan, Shreshth
Published: (2025)

Affordance Agent Harness: Verification-Gated Skill Orchestration
by: Huang, Haojian, et al.
Published: (2026)