PulseAugur
实时 00:52:44
实体 Compile to Compress

Compile to Compress

PulseAugur coverage of Compile to Compress — every cluster mentioning Compile to Compress across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_62835 ·

    AI框架通过新技术提升形式化定理证明能力

    研究人员开发了新的框架,利用大型语言模型增强形式化定理证明能力。Goedel-Architect 采用蓝图生成和精炼策略,使用 DeepSeek-V4-Flash 模型在 MiniF2F-test 和 PutnamBench 等基准测试中取得了最先进的性能。Proof-Refactor 专注于提高 LLM 生成证明的模块化、可读性和可维护性,在 PutnamBench 数据集上表现优于现有基线。另一种方法 Compile to Com…