Mmformalizer: Multimodal Autoformalization In The Wild
Synopsis
MMFormalizer: Multimodal Autoformalization in the Wild Jing Xiong, Qi Han, Yunta Hsieh, Hui Shen, Huajian Xin, Chaofan Tao, ...
You Might Also Like
![Autoformalization and Verifiable Superintelligence [Christian Szegedy] - 745](https://i.ytimg.com/vi/_p4vDN_cM88/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBedQZnEqTEFWlz-D4Rlz2O-ZwDLA)
![[LAFI'26] Language-Model Probabilistic Programming for Improving Autoformalization via Cycle(…)](https://i.ytimg.com/vi/24ftI6M0qm0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDyiryVG3VAiN6B_Gkz4PuQPD4lOQ)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.