Enhancing Autoformalization With Multi-Modal Inputs. IJCHML 2023, 1 (3).