Index
Advanced Research and Invention Agency (ARIA) record
Verdictunverifiable85%
2 checks · 1 src · 5/18/20261 → unverifiable; stale (excluded): 1 → partial
Our claim
entire record- Grantee
- University of Oxford
- Name
- ARIA TA1.1: Supermartingale Certificates for Temporal Logic
- Currency
- GBP
- Date
- June 2024
- 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 checkspartial50%deterministic-row-match · 5/18/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)
unverifiable85%Haiku 4.5 · 5/18/2026
NoteRe-check. Previous verdict: unverifiable. Verdict unchanged.
Case № JtYT8XwRwSFiled 5/18/2026Confidence 85%