研究人员开发了一个新颖的桥梁数据库，旨在连接数学文献与形式化证明库。该系统旨在统一访问目前孤立的已发表数学结果及其形式化内容。一个关键特性是论文级别的形式化分数，它量化了出版物被形式化系统覆盖的程度，从而能够对形式化工作进行大规模分析。 AI
排序理由 该集群包含一篇学术论文，详细介绍了连接数学文献与形式化证明库的新框架。[lever_c_demoted from research: ic=1 ai=0.7]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2606.11430v1 Announce Type: cross Abstract: Mathematical knowledge is split between bibliographic databases (e.g., MathSciNet, zbMATH Open) and formal proof libraries (e.g., Lean mathlib), preventing unified access between published results and their formalizations. We prop…