Grant

Grant: ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes (Advanced Research and Invention Agency (ARIA) -> University of Oxford)

Profile page →

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

confirmed95%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"University of Oxford","focusArea":"TA1.1","name":"Probabilistic Protocol Specification for Distributed Autonomous Processes","description":"University of Oxford","status":"act…

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable85%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned multiple times, but does not specifically name or identify any individual grant titled 'ARIA TA1.1: Probabi…

Note: While 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.

Debug info

Record type: grant

Record ID: UZBXZIiSxT