PulseAugur
实时 15:24:47
实体 Logics for Computer Science

Logics for Computer Science

PulseAugur coverage of Logics for Computer Science — every cluster mentioning Logics for Computer Science across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_111269 ·

    新的LCS-Bench基准挑战AI模型进行理论规模自动形式化

    研究人员推出了LCS-Bench,这是一个旨在评估计算机科学逻辑中理论规模自动形式化能力的新基准。该基准使用半自动化代理管道构建,包含327个教科书条目和超过4,076个Lean声明。它旨在解决连贯地翻译数百个相互依赖的定义和定理的挑战,这项任务是当前最先进的模型难以胜任的,在自动形式化任务上的准确率仅为20.1%。