PulseAugur
中
实时 00:41:55
English(EN) ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving

ProofWala框架赋能多语言定理证明研究

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员开发了ProofWala，一个旨在促进神经方法多语言证明数据合成和定理证明的新框架。该框架包含一个可重用的库，用于与交互式定理证明器（ITPs）进行交互，并支持项目范围内的分析和并行实验。通过在Lean 4和Rocq等不同的ITPs上进行多语言模型训练，该系统展示了改进的跨语言和跨领域迁移能力，在特定数学领域取得了统计学上的显著提升。 AI

影响 通过促进多语言数据合成和跨语言迁移，实现了更强大和可扩展的形式化验证与自动化定理证明研究。

排序理由 这是一篇描述新定理证明框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri ·

    ProofWala：用于多语言证明数据合成和定理证明的框架

    arXiv:2502.04671v3 Announce Type: replace Abstract: Neural approaches to theorem proving require robust infrastructure for interfacing with interactive theorem provers (ITPs), extracting structured proof data, and executing proof search at scale. However, existing tooling is ofte…

相关实体

相关话题