FormalRx: Rectify and eXamine Semantic Failures in Autoformalization
arXiv:2607.04655v1 Announce Type: new Abstract: The veracious semantic alignment in autoformalization is significant for formal mathematical reasoning. However, existing evaluations provide only opaqu