Funding Program: Safeguarded AI TA1.1 — Theory
1 → unverifiable
Our claim
entire record- Division
- UO9LvMljnx
- 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 formal-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 checkNoteSubject mismatch: The claim is about a specific sub-project ('Safeguarded AI TA1.1 — Theory'), but the source discusses the overall Safeguarded AI programme structure and its three technical areas (TA1 Scaffolding, TA2 Machine Learning, TA3 Real-World Applications). The source mentions TA1 exists and describes its objectives ('We can build an extendable, interoperable language and platform...'), but does not break down TA1 into sub-components like 'TA1.1' or provide a specific budget allocation of £3.5m for any sub-project. The overall programme budget is £59m, but the source does not allocate this to individual technical areas or sub-projects. The status 'awarded' is consistent with the programme being active and funded, but the specific budget and naming of 'TA1.1 — Theory' cannot be verified from this source.