Comparative Analysis of Autoformalization Tools. IJCHML 2023, 1 (4).