TY  - RPRT
TI  - SpecEval: Evaluating Model Adherence to Behavior Specifications
AU  - Ahmed Ahmed
AU  - Kevin Klyman
AU  - Yi Zeng
AU  - Sanmi Koyejo
AU  - Percy Liang
PY  - 2025
UR  - https://arxiv.org/abs/2509.02464
ID  - 2509.02464
ER  -