English
Related papers

Related papers: Execution Envelopes: A Shared Admission Contract f…

200 papers

Explainable AI (XAI) interfaces seek to make large language models more transparent, yet explanation alone does not produce understanding. Explaining a system's behavior is not the same as being able to engage with it, to probe and…

Human-Computer Interaction · Computer Science 2026-03-18 Gabrielle Benabdallah

AI deployment in sensitive domains such as health care, credit, employment, and criminal justice is often treated as unsafe to authorize until model internals can be explained. This often leads to an excessive reliance on mechanistic…

Whether AI models can introspect is an increasingly important practical question. But there is no consensus on how introspection is to be defined. Beginning from a recently proposed ''lightweight'' definition, we argue instead for a thicker…

Artificial Intelligence · Computer Science 2025-08-21 Siyuan Song , Harvey Lederman , Jennifer Hu , Kyle Mahowald

Domestic voice assistants and smart-home devices are increasingly embedded in everyday routines, yet their ethics are often treated as an afterthought or delegated to compliance teams. To explore how expectations about smart-home AI are…

Human-Computer Interaction · Computer Science 2026-04-28 Varad Vishwarupe , Ivan Flechais , Marina Jirotka , Nigel Shadbolt

Recent published evidence from frontier laboratories shows that contemporary AI models can recognise evaluation contexts, latently represent them, and behave differently under those contexts than under deployment-continuous conditions.…

Artificial Intelligence · Computer Science 2026-05-13 Varad Vishwarupe , Nigel Shadbolt , Marina Jirotka , Ivan Flechais

OpenClaw-style agent stacks turn language into privileged execution: LLM intents flow through tool interception, policy gates, and a local executor. In parallel, skill marketplaces such as skills.sh make capability acquisition as easy as…

Cryptography and Security · Computer Science 2026-03-12 Ailiya Borjigin , Igor Stadnyk , Ben Bilski , Serhii Hovorov , Sofiia Pidturkina

The Model Context Protocol (MCP) standardizes how AI agents discover and invoke external tools, with over 10,000 active servers and 97 million monthly SDK downloads as of early 2026. Yet MCP does not yet standardize how agents safely…

Software Engineering · Computer Science 2026-04-16 Vasundra Srinivasan

Advances in large language models have enabled agentic AI systems that can reason, plan, and interact with external tools to execute multi-step workflows, while public blockchains have evolved into a programmable substrate for value…

Artificial Intelligence · Computer Science 2026-01-09 Saad Alqithami

Modern applications have embraced separation of concerns as a first-order organizing principle through the use of containers, container orchestration, and service meshes. However, adaptation to unexpected network variation has not followed…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-11 HyunJong Lee , Shadi Noghabi , Brian Noble , Matthew Furlong , Landon P. Cox

AI policy guidance is predominantly written as prose, which practitioners must first convert into executable rules before frameworks can evaluate or enforce them. This manual step is slow, error-prone, difficult to scale, and often delays…

Artificial Intelligence · Computer Science 2025-12-05 Gautam Varma Datla , Anudeep Vurity , Tejaswani Dash , Tazeem Ahmad , Mohd Adnan , Saima Rafi

In shared autonomy, user input is combined with semi-autonomous control to achieve a common goal. The goal is often unknown ex-ante, so prior work enables agents to infer the goal from user input and assist with the task. Such methods tend…

Machine Learning · Computer Science 2018-05-24 Siddharth Reddy , Anca D. Dragan , Sergey Levine

Due to regulatory compliance and governance management, modern (permissioned) blockchains require flexible endorsement, which allows the endorsement policy for each contract or state object to be individually defined. To enable flexible…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-01 Rongji Huang , Yifeng Ye , Gerui Wang , Mingchao Wan , Yuxing Duan , Jingjing Zhang , Guangtao Xue , Shengyun Liu

Multi-party object coordination - across object-capability systems, smart-contract platforms, distributed actors, and event-sourced architectures - is shaped by six structural properties: authenticated provenance, opaque encapsulation,…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-19 Christopher Goes

AI-augmented data workflows introduce complex governance challenges, as both human and model-driven processes generate, transform, and consume data artifacts. These workflows blend heterogeneous tools, dynamic execution patterns, and opaque…

Databases · Computer Science 2025-08-12 Jinjin Zhao , Sanjay Krishnan

Account abstraction allows a contract wallet to initiate transaction execution. Thus, account abstraction is useful for preserving the privacy of externally owned accounts (EOAs) because it can remove a transaction issued from an EOA to the…

Cryptography and Security · Computer Science 2025-01-22 Kota Chin , Keita Emura , Kazumasa Omote

AI agents increasingly act through external tools: they query databases, execute shell commands, read and write files, and send network requests. Yet in most current agent stacks, model-generated tool calls are handed to the execution layer…

Cryptography and Security · Computer Science 2026-03-16 Aojie Yuan , Zhiyuan Su , Yue Zhao

As AI coding agents become embedded in software development workflows, developers are beginning to operationalize ethical principles by encoding behavioral rules into repository-level context files for AI agents, such as AGENTS.md files.…

Software Engineering · Computer Science 2026-05-08 Christoph Treude , Sebastian Baltes , Marc Cheong

Throughput limitations of existing blockchain architectures are well documented and are one of the most significant hurdles for their wide-spread adoption. In our previous proof-of-concept work, we have shown that separating computation…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-13 Alexander Hentschel , Dieter Shirley , Layne Lafrance , Maor Zamski

Policy Cards are introduced as a machine-readable, deployment-layer standard for expressing operational, regulatory, and ethical constraints for AI agents. The Policy Card sits with the agent and enables it to follow required constraints at…

Artificial Intelligence · Computer Science 2025-10-29 Juraj Mavračić

We explore the idea of aligning an AI assistant by inverting a model of users' (unknown) preferences from observed interactions. To validate our proposal, we run proof-of-concept simulations in the economic ultimatum game, formalizing user…

Computation and Language · Computer Science 2023-12-05 Jan-Philipp Fränken , Sam Kwok , Peixuan Ye , Kanishk Gandhi , Dilip Arumugam , Jared Moore , Alex Tamkin , Tobias Gerstenberg , Noah D. Goodman