| ARIA TA2: Cognitive Emulation: Our Path to Safeguarded AI | Conjecture | | 2025-04 | aria.org.uk | ARIA |
| ARIA TA2: Recursive Safeguarding | Recursive Safeguarding Limited | | 2025-04 | aria.org.uk | ARIA |
| ARIA TA2: SHIELD: Safeguarding High-Impact AI for Enhanced Manufacturing | Manufacturing Technology Centre | | 2025-04 | aria.org.uk | ARIA |
| ARIA TA1.4: Field Building for Better Formal Models of Society | Meaning Alignment Institute | | 2025-02 | aria.org.uk | ARIA |
| ARIA TA1.4: Privacy-preserving AI Safety Verification | University of Birmingham | | 2025-02 | aria.org.uk | ARIA |
| ARIA TA1.4: Law-following AI | Institute For Law & AI | | 2025-02 | aria.org.uk | ARIA |
| ARIA TA1.4: Deliberative AI Specifications and Infrastructure | Massachusetts Institute of Technology | | 2025-02 | aria.org.uk | ARIA |
| ARIA TA1.4: AI-enabled Governance Models for Advanced AI R&D Organisations | Centre For Future Generations | | 2025-02 | aria.org.uk | ARIA |
| ARIA TA3: SAFER-ADS: Safety Assurance of Frontier AI for Automated Driving | University Of York | $460K | 2024-09 | york.ac.uk | — |
| ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment | University of Michigan | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification | Topos Institute | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA3: Digital Custodians for Ageing Infrastructure | Mind Foundry / WSP | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA3: Safeguarded AI-Enabled Biopharmaceutical Manufacturing | University of Birmingham | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA3: SAILS: Safeguarded AI for Logistics and Supply chain | HASH | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.2: From string diagrams to GPU optimisation | Adjoint Labs Limited | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.2: Automated Reasoning Technologies for AI Safety Verification | Zeroth Research | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.3: UHURA: UX for Human-centric User-Responsive AI (TA1.3 coordinator) | HASH | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.2: Data-Parallel Proof Checking for Monoidal Theories | University College London | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA3: Safeguarded AI for Energy Savings in Radio Access Networks | Net AI | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.2: TA1.2 Technical Coordinator | Obsidian Systems | | 2024-09 | aria.org.uk | ARIA |
| ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification | University of Birmingham | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Monoidal Coalgebraic Metrics | University Of Pisa | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework | University Of York | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Modal Types for Quantitative Analysis | University Of Kent | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Doubly Categorical Systems Logic | Matteo Capucci (Independent) | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Philosophical Applied Category Theory | David Corfield (Independent) | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML | Heriot-Watt University | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes | University College London | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Learning-Theoretic AI Safety | Association for Long Term Existence and Resilience (ALTER) | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Safety: Core representation underlying safeguarded AI | University of Edinburgh | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: True Categorical Programming for Composable Systems | GLAIVE | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Supermartingale Certificates for Temporal Logic | University of Oxford | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: SAINT: Safe AI ageNTs | University of Oxford | | 2024-06 | cs.ox.ac.uk | — |
| ARIA TA1.1: Computational Mechanics Approach to World Models | University Of Sussex | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems | University College London | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Employing Categorical Probability Towards Safe AI | University of Oxford | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes | University of Oxford | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Event Structures as World Models | University Of Bristol | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets | Tallinn University Of Technology | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI | Topos Institute | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: String Diagrammatic Probabilistic Logic | Tallinn University Of Technology | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI | University Of Manchester | | 2024-06 | aria.org.uk | ARIA |
| ARIA TA3: SAFER-ADS: Safety Assurance of Frontier AI for Automated Driving | University Of York | $460K | 2024-01 | york.ac.uk | — |
| ARIA TA1.1: Event Structures as World Models | University Of Bristol | | 2024-01 | aria.org.uk | ARIA |
| ARIA TA1.1: Employing Categorical Probability Towards Safe AI | University of Oxford | | 2024-01 | aria.org.uk | ARIA |
| ARIA TA3: SAINTES: Safe and scalable AI decision support for Energy Systems | University Of Exeter | | 2024-01 | aria.org.uk | ARIA |
| ARIA TA1.3: Safeguarded Collaboration with AI Agents in a Type-Theoretic Computational Environment | University of Michigan | | 2024-01 | aria.org.uk | ARIA |
| ARIA TA1.1: Safety: Core representation underlying safeguarded AI | University of Edinburgh | | 2024-01 | aria.org.uk | ARIA |
| ARIA TA1.2: CatColab: Collaborative modeling, specification, and verification | Topos Institute | | 2024-01 | aria.org.uk | ARIA |
| ARIA TA1.1: Supermartingale Certificates for Temporal Logic | University of Oxford | | 2024-01 | aria.org.uk | ARIA |