English
Related papers

Related papers: Factor(U,T): Controlling Untrusted AI by Monitorin…

200 papers

The field of AI Control seeks to develop robust control protocols, deployment safeguards for untrusted AI which may be intentionally subversive. However, existing protocols that rely on weaker monitors to detect unsafe behavior often fail…

Cryptography and Security · Computer Science 2025-12-03 Aaron Sandoval , Cody Rushing

Developers try to evaluate whether an AI system can be misused by adversaries before releasing it; for example, they might test whether a model enables cyberoffense, user manipulation, or bioterrorism. In this work, we show that…

Cryptography and Security · Computer Science 2024-07-03 Erik Jones , Anca Dragan , Jacob Steinhardt

The AI Control research agenda aims to develop control protocols: safety techniques that prevent untrusted AI systems from taking harmful actions during deployment. Because human oversight is expensive, one approach is trusted monitoring,…

Cryptography and Security · Computer Science 2026-02-12 Ashwin Sreevatsa , Sebastian Prasanna , Cody Rushing

Large pre-trained models have transformed machine learning, yet adapting these models effectively to exhibit precise, concept-specific behaviors remains a significant challenge. Task vectors, defined as the difference between fine-tuned and…

Machine Learning · Computer Science 2025-12-30 Hamed Damirchi , Ehsan Abbasnejad , Zhen Zhang , Javen Shi

As AI models are deployed with increasing autonomy, it is important to ensure they do not take harmful actions unnoticed. As a potential mitigation, we investigate Chain-of-Thought (CoT) monitoring, wherein a weaker trusted monitor model…

Artificial Intelligence · Computer Science 2025-11-26 Benjamin Arnav , Pablo Bernabeu-Pérez , Nathan Helm-Burger , Tim Kostolansky , Hannes Whittingham , Mary Phuong

Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true…

Software Engineering · Computer Science 2017-08-25 Dániel Horpácsi , Judit Kőszegi , Zoltán Horváth

Current LLM safety defenses fail under decomposition attacks, where a malicious goal is decomposed into benign subtasks that circumvent refusals. The challenge lies in the existing shallow safety alignment techniques: they only detect harm…

Cryptography and Security · Computer Science 2025-06-17 Chen Yueh-Han , Nitish Joshi , Yulin Chen , Maksym Andriushchenko , Rico Angell , He He

AIs are increasingly being deployed with greater autonomy and capabilities, which increases the risk that a misaligned AI may be able to cause catastrophic harm. Untrusted monitoring -- using one untrusted model to oversee another -- is one…

Embodied AI agents exploit reward signal flaws through reward hacking, achieving high proxy scores while failing true objectives. We introduce Mechanistically Interpretable Task Decomposition (MITD), a hierarchical transformer architecture…

Machine Learning · Computer Science 2025-11-25 Subramanyam Sahoo , Jared Junkin

When solving long-horizon tasks, it is intriguing to decompose the high-level task into subtasks. Decomposing experiences into reusable subtasks can improve data efficiency, accelerate policy generalization, and in general provide promising…

Machine Learning · Computer Science 2024-10-30 Yiwen Qiu , Yujia Zheng , Kun Zhang

Chain-of-thought (CoT) monitoring is one of the most promising tools we have for detecting model misbehavior, but its effectiveness depends on models faithfully externalizing their reasoning. Motivated by this vulnerability, we study…

Machine Learning · Computer Science 2026-05-18 Reilly Haskins , Bilal Chughtai , Joshua Engels

Decomposing complex data into factorized representations can reveal reusable components and enable synthesizing new samples via component recombination. We investigate this in the context of diffusion-based models that learn factorized…

Computer Vision and Pattern Recognition · Computer Science 2026-03-19 Archer Wang , Emile Anand , Yilun Du , Marin Soljačić

AI coding scaffolds like Claude Code and Codex use retrying: blocking actions flagged as risky and continuing the trajectory. We study retrying from an AI control perspective, which treats the model as potentially adversarial. We find that…

Artificial Intelligence · Computer Science 2026-05-27 James Lucassen , Adam Kaufman

Multi-step manipulation tasks where robots interact with their environment and must apply process forces based on the perceived situation remain challenging to learn and prone to execution errors. Accurately simulating these tasks is also…

Robotics · Computer Science 2025-05-08 Christoph Willibald , Dongheui Lee

The proposed article aims at offering a comprehensive tutorial for the computational aspects of structured matrix and tensor factorization. Unlike existing tutorials that mainly focus on {\it algorithmic procedures} for a small set of…

Signal Processing · Electrical Eng. & Systems 2023-07-19 Xiao Fu , Nico Vervliet , Lieven De Lathauwer , Kejun Huang , Nicolas Gillis

Observability into the decision making of modern AI systems may be required to safely deploy increasingly capable agents. Monitoring the chain-of-thought (CoT) of today's reasoning models has proven effective for detecting misbehavior.…

Human behavior emerges from planning over elaborate decompositions of tasks into goals, subgoals, and low-level actions. How are these decompositions created and used? Here, we propose and evaluate a normative framework for task…

Artificial Intelligence · Computer Science 2023-06-05 Carlos G. Correa , Mark K. Ho , Frederick Callaway , Nathaniel D. Daw , Thomas L. Griffiths

Time series anomaly detection is important in modern large-scale systems and is applied in a variety of domains to analyze and monitor the operation of diverse systems. Unsupervised approaches have received widespread interest, as they do…

Machine Learning · Computer Science 2025-10-23 Buang Zhang , Tung Kieu , Xiangfei Qiu , Chenjuan Guo , Jilin Hu , Aoying Zhou , Christian S. Jensen , Bin Yang

AI control protocols use monitors to detect attacks by untrusted AI agents, but standard single-score monitors face two limitations: they miss subtle attacks where outputs look clean but reasoning is off, and they collapse to near-zero…

Cryptography and Security · Computer Science 2026-04-07 Khanh Linh Nguyen , Hoa Nghiem , Tu Tran

Most uncertainty-aware robotic systems collapse prediction uncertainty into a single scalar score and use it to trigger uniform corrective responses. This aggregation obscures whether uncertainty arises from corrupted observations or from…

‹ Prev 1 2 3 10 Next ›