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