Leveraging Deep Learning to Enhance Automated Theorem Proving: A Comprehensive Survey

Deep learning, especially the emergence of large language models, has sparked a notable surge of research exploring techniques to enhance the process of automated theorem proving.