Index
Grant: ARIA TA1.1: Modal Types for Quantitative Analysis (Advanced Research and Invention Agency (ARIA) → University of Kent)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: Modal Types for Quantitative Analysis
- Currency
- GBP
- Date
- January 2024
- Notes
- [Safeguarded AI TA1.1] Modal Types for Quantitative Analysis. Lead(s): Vineet Rajani, Dominic Orchard. Institutions: University of Kent. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- University of Kent
- Focus Area
- TA1.1
- Name
- Modal Types for Quantitative Analysis
- Description
- University of Kent
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable95%Haiku 4.5 · 3/25/2026
NoteWhile the source confirms that TA1 exists within the Safeguarded AI programme and discusses its objectives, it does not provide the specific project name, grantee institution, funder identifier, or date for this particular grant record. The source text is a programme overview that does not contain a detailed list of funded projects. Therefore, the specific claims in the record cannot be verified or contradicted by this source material.
Case № Z7_lsiZgH0Filed 4/13/2026Confidence 95%