TY  - RPRT
TI  - claimcheck: Measuring and Improving Specification Faithfulness
AU  - Martin Amster
AU  - One An
AU  - Holly Baker
AU  - Fernanda Graciolli
AU  - Simon Henniger
AU  - Nada Amin
PY  - 2026
UR  - https://arxiv.org/abs/2610.17358
ID  - 2610.17358
ER  -