Comparative Study of Autoformalization Across Different Domains. IJCHML 2023, 3 (1).