2023. Evaluating Large Language Models for Mathematical Proofs. International Journal of Computational Health & Machine Learning. 4, 1 (Dec. 2023).