Evaluating Large Language Models for Mathematical Proofs. IJCHML 2023, 4 (1).