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