arXiv Machine Learning By Boris Velasevic, Eden Saig, Eric Mazumdar

Anytime Contracts for AI Services

Read the original on arXiv Machine Learning →

The paper introduces "Anytime Contracts" for AI services, addressing moral hazard where providers may downgrade models and users can terminate usage at any time. It extends contract theory to handle unknown exit rules by framing the problem as a Principal-Agent game and shows that optimal contracts align with anytime-valid hypothesis tests using likelihood‑ratio e‑values. The authors provide an efficient algorithm for computing such contracts and demonstrate its application on synthetic data and real large language model deployments.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

arXiv AI
Oct 31

Measuring Where Intent Gets Lost in Agentic Smart Contract Synthesis

The paper investigates how AI agents that generate smart contracts from plain‑English descriptions can lose intended behavior, a critical issue because smart contracts are immutable once deployed. The authors design an execution‑based evaluation that replays transactions on both the AI‑written contract and the original, measuring agreement and identifying discrepancies. They find that common grading tools miss many mistakes, and propose an elicitation‑first approach where the agent asks a short checklist of questions before coding, which significantly improves correctness across multiple AI models.

By Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah
arXiv AI
Oct 15

Holding Agents Accountable with Verifiable Agent Insurance

The paper introduces Verifiable Agent Insurance (VAI), a framework that lets AI agent providers commit to policy compliance through smart contracts and escrow funds on a blockchain. When a user detects a policy violation, a verifier reviews execution traces logged by the agent harness; if the violation is confirmed, the escrow is paid to the user. Experiments on three agent benchmarks show VAI detects 42.2% of violations, rising to 83.0% when agents emit explicit structured records.

By Cheng Hua, Taro Tsuchiya, Nicolas Christin, Giulia Fanti