@misc{indiciae5cba734c1855,
  title = {claimcheck: Measuring and Improving Specification Faithfulness},
  author = {Martin Amster and One An and Holly Baker and Fernanda Graciolli and Simon Henniger and Nada Amin},
  year = {2026},
  url = {https://arxiv.org/abs/2610.17358},
  note = {Source identifier: 2610.17358}
}