Specification-Based Testing of Large Language Models

Kausar Moshood, Jace Bolante, Roshan Aditya Murali +1

Model cards, system cards, and safety reports increasingly document LLM safety behaviors, yet safety evaluations typically start from predefined benchmarks rather than asking which…