@misc{indiciae7dcfbd08f714,
  title = {SpecBench: Evaluating Specification-Level Reasoning for Software Engineering LLM Agents},
  author = {Grant Hamblin and Kevin Song and Zhanda Zhu and Anand Jayarajan and Sihang Liu and Nandita Vijaykumar and Gennady Pekhimenko},
  year = {2026},
  url = {https://arxiv.org/abs/2605.30314},
  note = {Source identifier: 2605.30314}
}