PulseAugur
中
实时 11:38:28
实体 Yiwen Sun

Yiwen Sun

PulseAugur coverage of Yiwen Sun — every cluster mentioning Yiwen Sun 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_79918 ·

    LLM自动优化SAT求解器，性能提升40%

    研究人员开发了AutoModSAT，一个利用大型语言模型（LLM）自动优化复杂SAT求解器的新框架。该方法结合了LLM兼容的模块化求解器设计、无监督提示优化和进化算法。实验表明，AutoModSAT显著提高了性能，比基线求解器提高了40%，比最先进的求解器提高了30%，展示了LLM在优化任务中发现启发式方法的潜力。