@misc{indiciae0c597760d33b,
  title = {The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements},
  author = {Noor Islam S. Mohammad and Tamim Sheikh},
  year = {2026},
  url = {https://arxiv.org/abs/2606.16541},
  note = {Source identifier: 2606.16541}
}