Hayden Moore Asfahan Shah Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing. 2025 November abs/2511.12784 CoRR https://doi.org/10.48550/arXiv.2511.12784 db/journals/corr/corr2511.html#abs-2511-12784 streams/journals/corr