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

German

AI-Agenten handeln zunehmend im Namen von Menschen oder anderen Agenten, erwerben Dienstleistungen, tauschen Informationen aus und delegieren Arbeit. Was ein Agent respektieren muss, ist in Anweisungen, Richtlinien oder Vereinbarungen geschrieben, aber Text allein kann es nicht erfüllen. Es kann Fehler machen, durch das, was es liest, umgeleitet werden oder verschiedene Interessen verfolgen. Damit eine Wirtschaft solcher Agenten funktioniert, benötigen die Parteien Vereinbarungen, auf die sie sich verlassen können, ohne sich gegenseitig zu inspizieren oder zu vertrauen Agenten. Wir führen Proof-Carrying Contracts (PC2) ein, ein Rahmenwerk für die Durchsetzung vereinbarter Einschränkungen während der Interaktion eines Agenten ein.

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