TY  - RPRT
TI  - The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements
AU  - Noor Islam S. Mohammad
AU  - Tamim Sheikh
PY  - 2026
UR  - https://arxiv.org/abs/2606.16541
ID  - 2606.16541
ER  -