Enhancing Interpretability of Autoformalization Outputs. IJCHML 2023, 4 (1).