PulseAugur
实时 07:49:46
实体 formalization

formalization

PulseAugur coverage of formalization — every cluster mentioning formalization 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_215843 ·

    Lea agent backbone aids mathematicians in formalizing work

    Lea 是一个新颖的代理骨干,旨在协助数学家对其工作进行形式化。该系统旨在简化将数学概念转化为可验证证明的过程。该项目突显了人工智能与形式数学日益增长的交叉点。