MMFormalizer: Multimodal Autoformalization in the Wild
IntermediateJing Xiong, Qi Han et al.Jan 6arXiv
MMFormalizer is a new system that turns problems with pictures and words (like physics scenes or geometry diagrams) into strict, checkable math statements and proofs.
#multimodal autoformalization#Lean theorem prover#dimensional grounding