2023. Integrating Autoformalization in Automated Theorem Provers. International Journal of Computational Health & Machine Learning. 1, 4 (Dec. 2023).