The Missing Layer: Specification Infrastructure for AI Oversight

Satyam Kumar, Saurabh Jha

AI safety has a missing layer. Interpretability, formal methods, security engineering, evaluation methodology, and reinforcement-learning safety each produce substantial work, but…