Grant

Grant: ARIA TA1.1: Doubly Categorical Systems Logic (Advanced Research and Invention Agency (ARIA) -> Matteo Capucci (Independent))

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":"Matteo Capucci (Independent)","focusArea":"TA1.1","name":"Doubly Categorical Systems Logic","description":"Independent Researcher","status":"closed"}

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) but does not mention any specific grant titled 'ARIA TA1.1: Doubly Categorical Systems Logic' or name Matteo Capucci …

Note: The source text provides an overview of the Safeguarded AI programme structure and mentions TA1 as 'Scaffolding' with general objectives, but contains no information about specific TA1.1 projects, individual grant recipients, or Matteo Capucci. The funder identifier 'XqjV4mbMXQ' is not mentioned in the source. While the source confirms TA1 exists within the Safeguarded AI programme, it does not provide the specific grant details needed to verify the record.

Debug info

Record type: grant

Record ID: Bk3ib0zNHJ