| ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification | University of Birmingham | | Jun 2024 | |
| ARIA TA1.1: Monoidal Coalgebraic Metrics | University Of Pisa | | Jun 2024 | |
| ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework | University Of York | | Jun 2024 | |
| ARIA TA1.1: Modal Types for Quantitative Analysis | University Of Kent | | Jun 2024 | |
| ARIA TA1.1: Doubly Categorical Systems Logic | Matteo Capucci (Independent) | | Jun 2024 | |
| ARIA TA1.1: Philosophical Applied Category Theory | David Corfield (Independent) | | Jun 2024 | |
| ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML | Heriot-Watt University | | Jun 2024 | |
| ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes | University College London | | Jun 2024 | |
| ARIA TA1.1: Learning-Theoretic AI Safety | Association for Long Term Existence and Resilience (ALTER) | | Jun 2024 | |
| ARIA TA1.1: Safety: Core representation underlying safeguarded AI | University of Edinburgh | | Jun 2024 | |
| ARIA TA1.1: True Categorical Programming for Composable Systems | GLAIVE | | Jun 2024 | |
| ARIA TA1.1: Supermartingale Certificates for Temporal Logic | University of Oxford | | Jun 2024 | |
| ARIA TA1.1: SAINT: Safe AI ageNTs | University of Oxford | | Jun 2024 | |
| ARIA TA1.1: Computational Mechanics Approach to World Models | University Of Sussex | | Jun 2024 | |
| ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems | University College London | | Jun 2024 | |
| ARIA TA1.1: Employing Categorical Probability Towards Safe AI | University of Oxford | | Jun 2024 | |
| ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes | University of Oxford | | Jun 2024 | |
| ARIA TA1.1: Event Structures as World Models | University Of Bristol | | Jun 2024 | |
| ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets | Tallinn University Of Technology | | Jun 2024 | |
| ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI | Topos Institute | | Jun 2024 | |
| ARIA TA1.1: String Diagrammatic Probabilistic Logic | Tallinn University Of Technology | | Jun 2024 | |
| ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI | University Of Manchester | | Jun 2024 | |
| ARIA TA1.1: Event Structures as World Models | University Of Bristol | | Jan 2024 | |
| ARIA TA1.1: Employing Categorical Probability Towards Safe AI | University of Oxford | | Jan 2024 | |
| ARIA TA1.1: Safety: Core representation underlying safeguarded AI | University of Edinburgh | | Jan 2024 | |
| ARIA TA1.1: Supermartingale Certificates for Temporal Logic | University of Oxford | | Jan 2024 | |
| ARIA TA1.1: Double Categorical Systems Theory for Safeguarded AI | Topos Institute | | Jan 2024 | |
| ARIA TA1.1: Monoidal Coalgebraic Metrics | University Of Pisa | | Jan 2024 | |
| ARIA TA1.1: ULTIMATE: Universal Stochastic Modelling, Verification and Synthesis Framework | University Of York | | Jan 2024 | |
| ARIA TA1.1: Learning-Theoretic AI Safety | Association for Long Term Existence and Resilience (ALTER) | | Jan 2024 | |
| ARIA TA1.1: Syntax and Semantics for Multimodal Petri Nets | Tallinn University Of Technology | | Jan 2024 | |
| ARIA TA1.1: Doubly Categorical Systems Logic | Matteo Capucci (Independent) | | Jan 2024 | |
| ARIA TA1.1: Philosophical Applied Category Theory | David Corfield (Independent) | | Jan 2024 | |
| ARIA TA1.1: True Categorical Programming for Composable Systems | GLAIVE | | Jan 2024 | |
| ARIA TA1.1: Computational Mechanics Approach to World Models | University Of Sussex | | Jan 2024 | |
| ARIA TA1.1: Quantitative Predicate Logic as a Foundation for Verified ML | Heriot-Watt University | | Jan 2024 | |
| ARIA TA1.1: Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes | University College London | | Jan 2024 | |
| ARIA TA1.1: Unified Automated Reasoning for Randomised Distributed Systems | University College London | | Jan 2024 | |
| ARIA TA1.1: String Diagrammatic Probabilistic Logic | Tallinn University Of Technology | | Jan 2024 | |
| ARIA TA1.1: Profunctors: A unified semantics for safeguarded AI | University Of Manchester | | Jan 2024 | |
| ARIA TA1.1: Probabilistic Protocol Specification for Distributed Autonomous Processes | University of Oxford | | Jan 2024 | |
| ARIA TA1.1: Hyper-optimised Tensor Contraction for Neural Networks Verification | University of Birmingham | | Jan 2024 | |
| ARIA TA1.1: SAINT: Safe AI ageNTs | University of Oxford | | Jan 2024 | |
| ARIA TA1.1: Modal Types for Quantitative Analysis | University Of Kent | | Jan 2024 | |