Index
Grant: ARIA TA1.1: Monoidal Coalgebraic Metrics (Advanced Research and Invention Agency (ARIA) → University of Pisa)
Verdictconfirmed95%
2 checks · 1 src · 4/13/2026⚠ Checks disagree: 1 confirmed, 1 unverifiable
Deterministic match: grantee, name matched in source snapshot (48 rows)
Our claim
entire record- Name
- ARIA TA1.1: Monoidal Coalgebraic Metrics
- Currency
- GBP
- Date
- June 2024
- Notes
- [Safeguarded AI TA1.1] Monoidal Coalgebraic Metrics. Lead(s): Filippo Bonchi. Institutions: University of Pisa. Status: active.
Source evidence
1 src · 2 checksconfirmed95%deterministic-row-match · 4/13/2026
- Grantee
- University of Pisa
- Focus Area
- TA1.1
- Name
- Monoidal Coalgebraic Metrics
- Description
- University of Pisa
- Status
- active
NoteDeterministic match: grantee, name matched in source snapshot (48 rows)
unverifiable95%Haiku 4.5 · 3/25/2026
NoteWhile 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.
Case № 2D4SjNTcy3Filed 4/13/2026Confidence 95%