Index
Grant: ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes (Advanced Research and Invention Agency (ARIA) → University of Oxford)
Verdictunverifiable85%
3 checks · 1 src · 9/21/20261 → unverifiable; stale (excluded): 1 → confirmed, 1 → partial
Our claim
entire record- Grantee
- University of Oxford
- Name
- ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Probabilistic Protocol Specification for Distributed Autonomous Processes. Lead(s): Nobuko Yoshida, Adrian Puerto Aubel, Burak Ekici, Joseph Paulus, Dylan McDermott. Institutions: University of Oxford. Status: active.
Source evidence
1 src · 3 checksconfirmed95%deterministic-row-match · 9/21/2026
- Grantee
- University of Oxford
- Focus Area
- TA1.1
- Name
- Probabilistic Protocol Specification for Distributed Autonomous Processes
- Description
- University of Oxford
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable85%Haiku 4.5 · 7/20/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
partial95%qua650-retro-scan-subject-identity · 4/21/2026
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme within ARIA, not ARIA itself as the primary subject. Per QUA-648, programmes and initiatives within an organization count as distinct entities from the parent organization. The claim is about ARIA as the grantor, but the source focuses on a specific ARIA programme rather than ARIA's general grant-making activities.
Case № P4laC-9Bj6Filed 9/21/2026Confidence 85%