PulseAugur
中
实时 11:48:43
实体 Hai-Xia Zhang

Hai-Xia Zhang

PulseAugur coverage of Hai-Xia Zhang — every cluster mentioning Hai-Xia Zhang 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_200077 ·

    AI与人类合作进行数学发现，证明新定理

    研究人员详细介绍了一种结合大型语言模型（LLM）、符号计算工具和人类指导的数学发现新方法。这种神经符号协作成功地在组合设计理论中产生了一个新的、经过形式验证的结果，特别是拉丁方不平衡的紧密下界。该过程突显了LLM在假设生成和结构识别方面的优势，而符号工具提供了严格的验证，人类输入则提供了关键的战略方向。