Grant

Grant: ARIA TA1.1: Monoidal Coalgebraic Metrics (Advanced Research and Invention Agency (ARIA) -> University of Pisa)

Profile page →

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 4/3/2026

[deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

Evidence — 1 source, 2 checks

www.aria.org.uk/programme-safeguarded-ai/ARIA(2 checks)

confirmed95%deterministic-row-match · 4/3/2026

Found: Matched row: {"grantee":"University of Pisa","focusArea":"TA1.1","name":"Monoidal Coalgebraic Metrics","description":"University of Pisa","status":"active"}

Note: [deterministic-row-match] Deterministic match: grantee, name matched in source snapshot (48 rows)

unverifiable95%Haiku 4.5 · 3/25/2026

Found: The source text discusses the Safeguarded AI programme with Technical Area 1 (TA1) mentioned multiple times, but does not list specific TA1 projects, their names, dates, grantees, or the identifier 'X…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and discusses its general objectives (scaffolding, formal world models, proof certificates), it does not provide any information about specific funded projects under TA1, including the grant 'ARIA TA1.1: Monoidal Coalgebraic Metrics', its date (2024-06), grantee (University of Pisa), or the funder identifier (XqjV4mbMXQ). The source text appears to be truncated and does not include a detailed list of funded projects.

Debug info

Record type: grant

Record ID: 2D4SjNTcy3