ARIA funds 8 teams with £22m to build formally verified LLM serving infrastructure
satnam6502 · x · 2026-09-24
ARIA is funding eight teams with £22m to test whether AI-enabled formal methods can make high-assurance cyber defence practical at unprecedented speed and scale, as AI-enabled cyber attacks accelerate.
Cornell's Nate Foster announced he will collaborate with afdicl and colleagues at Imperial College London and EPFL on building formally verified LLM serving infrastructure.
Related event: UK's ARIA Puts £22M Into AI-Enabled Formal Cyber Defense(3 posts)→
More from Safety
- Gary Marcus weaponizes Jensen Huang's own words: OpenAI's repeated coverups mean we should shut the labs down — GaryMarcus · 2026-09-24
- Jail CEOs or pass bills? The debate over deterring unsafe AI development — trevposts · 2026-09-24
- Anthropic Opened Bio Access and Hired Its Own Referee 11 Days After Asking the World to Slow Down — shaunralston · 2026-09-24
- Anthropic to Host Outside Evaluators On-Site, Other Labs Follow — victor_explore · 2026-09-24
- Wiz Scans US Critical Infrastructure with Gemini-Powered Red Agent — ralucaadapopa · 2026-09-24
- Researchers exploited Cloudflare Containers flaw to read other tenants' residual disk data — matthew_d_green · 2026-09-24