Index
Grant: ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes (Advanced Research and Invention Agency (ARIA) → University of Oxford)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
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 · 2 checksconfirmed95%deterministic-row-match · 4/13/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 · 3/25/2026
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and mentions TA1 projects are being expanded, it does not provide specific project names, dates, grantee identifiers, or funder identifiers that would verify the structured record. The source discusses TA1 'Scaffolding' objectives but does not list individual funded projects with their specific titles or identifiers. The record cannot be confirmed or contradicted based on the available source material.
Case № P4laC-9Bj6Filed 4/13/2026Confidence 95%