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