PulseAugur
中
实时 21:00:22
实体 formal geometry solver

formal geometry solver

PulseAugur coverage of formal geometry solver — every cluster mentioning formal geometry solver across labs, papers, and developer communities, ranked by signal.

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

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_207624 ·

    Euclid-Omni 使用 LLM 和视觉模型进行奥林匹克几何证明

    Euclid-Omni 是一个新的人工智能系统，旨在解决奥林匹克级别的几何竞赛问题。它结合了大型语言模型 (LLM)、视觉模型和一个形式几何求解器。这种方法使 Euclid-Omni 在生成证明方面取得了最先进的成果，同时需要的计算能力显著减少。