Grant·JtYT8XwRwS·Record·Profile

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

Verdictpartial50%

2 checks · 1 src · 4/13/2026

⚠ Checks disagree: 1 partial, 1 unverifiable

Partial deterministic match: grantee matched but name did not (48 rows)

Our claim

entire record

Grantee: University of Oxford
Name: ARIA TA1.1: Supermartingale Certificates for Temporal Logic
Currency: GBP
Date: June 2024
Source: https://www.aria.org.uk/programme-safeguarded-ai/
Notes: [Safeguarded AI TA1.1] Supermartingale Certificates for Temporal Logic. Lead(s): Mirco Giacobbe, Diptarko Roy, Alessandro Abate. Institutions: University of Birmingham / University of Oxford. Status: closed.

Source evidence

1 src · 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA resource

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

Grantee: University of Oxford
Focus Area: TA1.1
Name: SAINT: Safe AI ageNTs
Description: University of Oxford
Status: active
Source Url: https://www.cs.ox.ac.uk/news/2437-full.html

NotePartial deterministic match: grantee matched but name did not (48 rows)

unverifiable95%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, 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.

Case № JtYT8XwRwSFiled 4/13/2026Confidence 50%