FIELD NOTES TOPIC
smt theorem
1 note, newest first.
The Unfireable Safety Kernel: Execution-Time AI Alignment for AI Agents and Other Escapable AI Systems
The authors present the Unfireable Safety Kernel, a Rust implementation that serves as an execution-time AI alignment layer for escapable AI systems. This system aims to provide authorization mechanisms for controlling…
