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
- January 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 discusses TA1 objectives (scaffolding, formal world models, specifications), it does not provide the specific grant name, date (2024-01), grantee identifier (18K3KG3bpg), or funder identifier (XqjV4mbMXQ) mentioned in the record. The source text appears to be a programme overview rather than a detailed grants database, so the specific grant details cannot be verified from this excerpt.
Case № UZBXZIiSxTFiled 4/13/2026Confidence 95%