Grant UZBXZIiSxT
1 → partial; dissent: 1 → unverifiable, 1 → confirmed
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 · 3 checks- 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)
NoteQUA-650 retro-scan: The source is about the 'Safeguarded AI' programme, which is a specific programme within ARIA, not about ARIA itself as the grantor organization. Per QUA-648, programmes/initiatives within an organization count as MISMATCHES from the parent organization. The claim is about a grant from ARIA (the organization) to University of Oxford, but the source discusses only the Safeguarded AI programme's structure and projects, not ARIA's grant-making activities broadly.
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.