The standard methodology of evaluating large language models (LLMs) base...
The formalization of existing mathematical proofs is a notoriously diffi...
Autoformalization is the process of automatically translating from natur...
In theorem proving, the task of selecting useful premises from a large
l...