Traffic Shaping for Workload Classification

A verification solution to deter frontier training and an effective phase-1 milestone towards a full network taps with recomputation deployment

Read on Substack ↗

Building an adversarial testbed for AI verification in Europe

From verification primitives to a red-teamed reference architecture

Read on Substack ↗

From Assertions to Evidence

A claim-design framework for AI Verification

Read on Substack ↗