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 mention the specific grant name, the date (2024-06), the grantee identifier (18K3KG3bpg), or the funder identifier (XqjV4mbMXQ). The source text appears to be a programme overview rather than a detailed grants database, so the specific grant record cannot be verified against this source material.

Debug info

Record type: grant

Record ID: JtYT8XwRwS