Grant·7DoxJaNAxo·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: January 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 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.

Case № 7DoxJaNAxoFiled 4/13/2026Confidence 50%