cs.DLJul 28, 2026

F(AI)2R: Who Did What, and Who Checked? Verifiable AI Provenance as an Executable Skill

Authors: Florian Krebs

Organizations: Deutsches Zentrum für Luft- und Raumfahrt (DLR)

Abstract

F(AI)2R is FAIR research with AI in the loop, twice: an AI-assisted authoring pass and a machine-readable audit pass over every artefact. AI systems now draft, refactor, and verify research artefacts, yet their contributions are rarely recorded in a form a later human or machine can audit. Building on the original F(AI)2R experiment, we generalize its provenance model beyond scholarly writing into aiprov, a PROV-O extension covering any AI-in-the-loop artefact, and we package the method as an executable skill that an AI agent operates itself: setup asks the human operator for their ORCID ID, resolves their identity from the public registry, and scaffolds continuous integration that gates every push on graph conformance and publishes the current build of this very paper. The paper is its own case study. Every activity, claim, and source in its production is recorded in the repository's provenance graph under two invariants: no parentless claim, and verification rungs that only humans may grant.

Explore similar work

CardsList
  1. AI for Auto-Research: Roadmap & User Guide

    May 18, 2026Lingdong Kong, Xian Sun, Wei Chow +17AutoresearchPapers

  2. The Last Human-Written Paper: Agent-Native Research Artifacts

    Apr 27, 2026Jiachen Liu, Jiaxin Pei, Jintao Huang +34AutoresearchPapers