EvangaleKTV

Independent AI safety researcher building SEVERANT, a formally verified, hardware-constrained AI architecture where unsafe behaviour is physically impossible by design. Working at the intersection of formal verification, hardware architecture, and AI safety. Sole researcher, no institutional affiliation.

Posts

SEVERANT: A Formally Verified, Hardware-Constrained Architecture for Safe...
by EvangaleKTV @ 2026-04-17 | –3 | 0 comments