#形式化数学
共 2 条 · 7 天 0 条 · 30 天 1 条
信息流里打上「形式化数学」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月2日
6月16日
论文11:18
符号非形式化：流畅、高效、多语言的数学转换这篇论文介绍了一个叫Informath的项目，能把数学证明自动转成自然语言，支持多语言和多个证明系统（Agda、Lean、Rocq），对形式化验证和AI可解释性很有用。
这篇论文介绍了一个叫Informath的项目，能把数学证明自动转成自然语言，支持多语言和多个证明系统（Agda、Lean、Rocq），对形式化验证和AI可解释性很有用。