实体
Fate Hunters
Fate Hunters
PulseAugur coverage of Fate Hunters — every cluster mentioning Fate Hunters across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的MathForm框架通过知识检索扩展自动形式化
研究人员开发了MathForm，一个旨在改进将自然语言数学陈述翻译成机器可验证的形式语言（如Lean 4）的过程的新框架。该框架结合了来自Mathlib等库的知识检索，并使用由编译器诊断和语义一致性检查引导的迭代精炼。使用MathForm，创建了一个名为FormalVerse的数据集，其中包含大约367,000个已验证的示例。使用该框架训练的模型MathForm-8B在各种基准测试中表现强劲，实现了高通过率，并优于现有的专业自动形式化器。
-
Mistral AI发布Leanstral 1.5，用于高级形式化验证
Mistral AI发布了Leanstral 1.5，这是一个开源模型，专为形式化验证任务设计。该模型拥有60亿活跃参数，并以Apache 2.0许可证提供，在解决复杂数学问题和验证真实世界代码方面表现出显著的改进。Leanstral 1.5在证明工程等领域表现出色，并已在软件存储库中发现了一些先前未知的错误。