FIELD NOTES TOPIC
bounded-model-checking
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…
