PulseAugur
中
实时 07:29:04
实体 ODENumLib

ODENumLib

PulseAugur coverage of ODENumLib — every cluster mentioning ODENumLib 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. TOOL · CL_273166 ·

    新的人机协同系统FYAN增强了数学形式化能力

    研究人员开发了FYAN,一个新颖的人机协同系统,专为数学定理的文档级形式化而设计。FYAN整合了从规范、证明规划到逻辑审查和Lean证明构建的全面工作流程,并纳入了语义审计,以确保形式化陈述准确反映其非形式化规范。使用DeepSeek-V4.1-Flash模型,FYAN在FormalTCS定理上的表现优于通用代理协同系统,并提高了自然语言证明分数。该系统还在ConsistencyCheck上有效识别了不一致的陈述,并为创建大量的常微分…