@misc{indiciae3a4a22c5adb8,
  title = {The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization},
  author = {Chengxiao Dai and Zhaokun Yan and Zhanhui Lin},
  year = {2026},
  url = {https://arxiv.org/abs/2606.28013},
  note = {Source identifier: 2606.28013}
}