2023. Comparative Study of Autoformalization Across Different Domains. International Journal of Computational Health & Machine Learning. 3, 1 (Sep. 2023).