Author name: Meiru Zhang, Philipp Borchert, Milan Gritta, Gerasimos Lampouras

arXiv:2510.10815v4 Announce Type: replace
Abstract: Automating the formalization of mathematical statements for theorem proving remains a major challenge for Large Language Models (LLMs). LLMs struggle to identify and utilize the prerequisite mathemat…