TY  - RPRT
TI  - SpecBench: Evaluating Specification-Level Reasoning for Software Engineering LLM Agents
AU  - Grant Hamblin
AU  - Kevin Song
AU  - Zhanda Zhu
AU  - Anand Jayarajan
AU  - Sihang Liu
AU  - Nandita Vijaykumar
AU  - Gennady Pekhimenko
PY  - 2026
UR  - https://arxiv.org/abs/2605.30314
ID  - 2605.30314
ER  -