SpecBench: Evaluating Specification-Level Reasoning for Software Engineering LLM Agents. - Grant Hamblin; Kevin Song; Zhanda Zhu; Anand Jayarajan; Sihang Liu 001; Nandita Vijaykumar; Gennady Pekhimenko (CoRR, 2026)