funding-program
Safeguarded AI TA1.2 + TA1.3 — Platform
Metadata
| Source Table | funding_programs |
| Source ID | -C8O_gr9Bj |
| Description | Backend infrastructure (TA1.2) and human-computer interface (TA1.3) for the Safeguarded AI programme. Proof checking, automated reasoning, collaborative modeling, and UX. |
| Source URL | www.aria.org.uk/programme-safeguarded-ai/ |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 25, 2026, 4:44 AM |
| Updated | Mar 25, 2026, 4:44 AM |
| Synced | Mar 25, 2026, 4:44 AM |
Record Data
id | -C8O_gr9Bj |
orgId | Advanced Research and Invention Agency (ARIA)(organization) |
divisionId | Cf0dXNt8tu |
name | Safeguarded AI TA1.2 + TA1.3 — Platform |
description | Backend infrastructure (TA1.2) and human-computer interface (TA1.3) for the Safeguarded AI programme. Proof checking, automated reasoning, collaborative modeling, and UX. |
programType | solicitation |
totalBudget | 14200000 |
currency | GBP |
applicationUrl | — |
openDate | — |
deadline | — |
status | awarded |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | GBP 14.2M across 8 projects. |
Source Check Verdicts
unverifiable95% confidence
Last checked: 4/7/2026
The record claims a specific budget of £14,200,000 for 'Safeguarded AI TA1.2 + TA1.3 — Platform'. The source confirms the overall programme is backed by £59m and mentions TA1 (Scaffolding) as one of three technical areas, but does not break down the budget by specific TA sub-components (TA1.2, TA1.3) or provide the claimed figure. The name format 'TA1.2 + TA1.3 — Platform' is not explicitly mentioned in the source. Without a source that specifically addresses this sub-component's budget, the claim cannot be verified or contradicted.
Debug info
Thing ID: -C8O_gr9Bj
Source Table: funding_programs
Source ID: -C8O_gr9Bj