Cross-Disciplinary Impacts of Autoformalization. IJCHML 2023, 4 (1).