Grant

Grant: ARIA TA1.1: String Diagrammatic Probabilistic Logic (Advanced Research and Invention Agency (ARIA) -> Tallinn University of Technology)

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":"Tallinn University of Technology","focusArea":"TA1.1","name":"String Diagrammatic Probabilistic Logic","description":"Tallinn University of Technology","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 as part of the structure, but does not specifically name or reference any project called 'ARIA TA1.1: Strin…

Note: While the source confirms that TA1 exists within the Safeguarded AI programme and mentions TA1 projects are under development, it does not provide a list of specific funded projects or their details. The source text is cut off mid-sentence at the end and does not contain information about individual project names, grantees, or funding dates. The funder identifier 'XqjV4mbMXQ' is not mentioned in the source. Without explicit confirmation of these specific details in the source material, the record cannot be verified.

Debug info

Record type: grant

Record ID: WVy_oxKfvy