Funding Program: Safeguarded AI TA1.1 — Theory
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.
Our claim
entire record- Division
- 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.
- Program Type
- solicitation
- Total Budget
- 3500000
- Currency
- GBP
- Status
- awarded
- Notes
- GBP 3.5M Phase 1 across 22 projects. Call opened April 2024.
Source evidence
1 src · 1 checkNoteThe 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.