funding-program
Safeguarded AI TA1.1 — Theory
Metadata
| Source Table | funding_programs |
| Source ID | VpM42-Oye3 |
| Description | 22 projects on mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, string diagrams, and verification foundations. |
| 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 | VpM42-Oye3 |
orgId | Advanced Research and Invention Agency (ARIA)(organization) |
divisionId | UO9LvMlj_x |
name | Safeguarded AI TA1.1 — Theory |
description | 22 projects on mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, string diagrams, and verification foundations. |
programType | solicitation |
totalBudget | 3500000 |
currency | GBP |
applicationUrl | — |
openDate | — |
deadline | — |
status | awarded |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | GBP 3.5M Phase 1 across 22 projects. Call opened April 2024. |
Source Check Verdicts
unverifiable95% confidence
Last checked: 4/7/2026
The record claims a specific budget of £3,500,000 for 'Safeguarded AI TA1.1 — Theory'. The source confirms the overall Safeguarded AI programme budget is £59m, but does not provide granular budget allocations for individual technical areas or sub-components like 'TA1.1 — Theory'. The claimed value cannot be verified or contradicted from the available source text, as the source does not break down the £59m total into specific TA allocations.
Debug info
Thing ID: VpM42-Oye3
Source Table: funding_programs
Source ID: VpM42-Oye3