Newest papers

Proof-Carrying Contracts: Commitments AI Agents Cannot Break

Carlo Ciliberto, Alessandro Rudi, Enrico Tassi · 2026 · arXiv

DOI: 10.48550/arXiv.2610.28484 · open-access PDF

Spanish

Los agentes de IA actúan cada vez más en nombre de personas u otros agentes, comprando servicios, intercambiando información y delegando trabajo. Lo que un agente debe respetar está escrito en instrucciones, políticas o acuerdos, pero el texto por sí solo no puede hacer que se cumpla. Puede cometer errores, ser redirigido por lo que lee, o perseguir intereses diferentes. Para que una economía de tales agentes funcione, las partes necesitan acuerdos en los que pueden confiar sin inspeccionar o confiar en los agentes de los demás. Introducimos contratos probados (PC2), un marco para hacer aplicables las restricciones acordadas a lo largo de la interacción de un agente.

Machine translation (Meta M2M100); the English original follows.

Abstract

AI agents increasingly act on behalf of people or other agents, purchasing services, exchanging information and delegating work. What an agent must respect is written in instructions, policies or agreements, but text alone cannot make it comply. It may make mistakes, be redirected by what it reads, or pursue different interests. For an economy of such agents to function, parties need agreements they can rely on without inspecting or trusting one another's agents. We introduce Proof-Carrying Contracts (PC2), a framework for making agreed constraints enforceable throughout an agent's interaction

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.28484, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange