1
Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
探究自动形式化系统在语义相似改写下的鲁棒性，评估AI形式化能力的可靠性。
arXiv:2511.12784v3 Announce Type: replace Abstract: Large Language Models (LLMs) have recently emerged as powerful tools for autoformalization. Despit…