← Explore Research Questions
Resource

ARIA Safeguarded AI

A UK government funded project that aims to provide quantitative safety guarantees for AI systems.

Research
Link https://aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/
Creators ARIA
Year 2025

Related Capabilities

Bind technically

Urgent Bindingness
Ability to ensure the relevant technical systems act in directed ways (e.g., via model alignment, control, cryptographic enforcement of outputs, physical limitations, etc.). Caveat: Irrevocable direct binding to outputs should generally be implemented with checks and balances.
Resources (2) Research Questions (3) Product Gaps (0)

Related Research Questions

There are no related research questions.