2023. Enhancing Autoformalization with Multi-Modal Inputs. International Journal of Computational Health & Machine Learning. 1, 3 (Sep. 2023).