Metadata
| Source Table | divisions |
| Source ID | UO9LvMlj_x |
| Description | program-area |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Mar 22, 2026, 4:04 PM |
| Updated | Mar 25, 2026, 4:24 AM |
| Synced | Mar 25, 2026, 4:24 AM |
Record Data
id | UO9LvMlj_x |
slug | — |
parentOrgId | Advanced Research and Invention Agency (ARIA)(organization) |
name | TA1.1 — Theory (Scaffolding) |
divisionType | program-area |
lead | — |
status | active |
startDate | 2024-04 |
endDate | — |
website | — |
source | www.aria.org.uk/programme-safeguarded-ai/ |
notes | GBP 3.5M Phase 1 across 22 projects. Mathematical representations and formal semantics for world-models, specifications, and proofs. Covers category theory, probabilistic logic, and formal verification foundations. Scope expanded in Nov 2025 pivot. |
Source Check Verdicts
confirmed95% confidence
Last checked: 4/29/2026
1 → confirmed
Debug info
Thing ID: UO9LvMlj_x
Source Table: divisions
Source ID: UO9LvMlj_x
Parent Thing ID: sid_XqjV4mbMXQ