🧮 推出 MathForm: 面向数学自动形式化的开源框架、数据集与模型

摘要

MathForm 是一个开源框架、数据集与模型，用于数学自动形式化，并基于 Lean 4。形式化数学使数学知识可被机器检验，但不仅仅是把陈述翻译成代码；模型还需将每个概念映射到……（原文截断）。