新型 LLM 代理 SKILL 采用多模型方法优化逻辑综合

研究人员开发了 SKILL，这是一种利用多个大型语言模型和强化学习来优化逻辑综合的新型代理。该系统采用 GPT-4o 进行战略规划，Claude Sonnet 4 进行详细推理，以及 Gemini 2.5 Pro 和基于 PPO 的 RL 代理与综合工具进行交互。SKILL 包含一个自纠正模块来监控反馈并实施恢复策略，在基准测试中比现有的专家流程提高了 12.4%。 AI

影响 这种方法可能带来更具适应性和效率的逻辑综合工具，从而加速硬件设计。

排序理由 该集群描述了一篇研究论文，其中详细介绍了一种使用 LLM 和 RL 进行逻辑优化的新方法。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• arXiv
• Claude Sonnet 4
• Gemini 2.5 Pro
• GPT-4o
• OpenCores
• Proximal Policy Optimization
• SKILL
• Swiss Federal Institute of Technology in Lausanne

• 论文
• 模型发布

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →