MMFormalizer: Multimodal Autoformalization in the Wild - Explained Simply | ArXiv Explained