Metadata
| Source Table | divisions |
| Source ID | UO9LvMljnx |
| Description | program-area |
| Parent | Advanced Research and Invention Agency (ARIA) |
| Children | — |
| Created | Apr 20, 2026, 12:48 AM |
| Updated | Apr 24, 2026, 4:36 PM |
| Synced | Apr 24, 2026, 4:36 PM |
Record Data
id | UO9LvMljnx |
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
partial95% confidence
Last checked: 4/29/2026
1 → partial; dissent: 1 → confirmed
Debug info
Thing ID: UO9LvMljnx
Source Table: divisions
Source ID: UO9LvMljnx
Parent Thing ID: sid_XqjV4mbMXQ