arXiv ID:
2601.03017
arXiv 提交日期: 2026-01-06
MMFormalizer:面向真实世界的多模态自动形式化方法 / MMFormalizer: Multimodal Autoformalization in the Wild
1️⃣ 一句话总结
这篇论文提出了一个名为MMFormalizer的新框架,它首次将自动形式化(即把自然语言描述的数学物理问题转化为机器可推理的严格公式)从纯文本扩展到包含视觉信息的真实世界,通过递归构建和自适应终止,让机器能根据图像和文字共同推断出隐藏的物理约束并完成形式化,并在涵盖经典力学、相对论等多个领域的基准测试中验证了其有效性。