Grant

Grant: ARIA TA1.1: Supermartingale Certificates for Temporal Logic (Advanced Research and Invention Agency (ARIA) -> University of Oxford)

Profile page →

partial50% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Partial deterministic match: grantee matched but name did not (48 rows)

Evidence — 1 source, 2 checks

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

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

Found: Matched row: {"grantee":"University of Oxford","focusArea":"TA1.1","name":"SAINT: Safe AI ageNTs","description":"University of Oxford","status":"active","sourceUrl":"https://www.cs.ox.ac.uk/news/2437-…

Note: [deterministic-row-match] Partial deterministic match: grantee matched but name did not (48 rows)

unverifiable95%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned as a focus area, but does not specifically name or reference any project called 'ARIA TA1.1: Supermartingal…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses TA1 objectives (scaffolding, formal world models, proof certificates), it does not contain the specific grant name, date (2024-01), grantee identifier (18K3KG3bpg), or funder identifier (XqjV4mbMXQ) mentioned in the record. The source text appears to be truncated and does not list individual funded projects. Without explicit mention of this specific grant in the source material, the record cannot be verified.

Debug info

Record type: grant

Record ID: 7DoxJaNAxo