arXiv · cs.AI· Yi Ding·· 1 天前AI 评分44
Formulaic：通过渐进优化与验证实现 AI 基础设施的软硬件协同设计
Learning to Formulate: Agentic Hardware-Software Co-Design of AI Infrastructure through Progressive Optimization and Verification
来源与原文
arXiv · cs.AI
作者：Yi Ding
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.39380v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
arXiv 论文提出 Formulaic，由语言模型智能体撰写问题形式化，数学求解器在 其中优化，验证与测量环节核查假设和结果，逐步从计算图细化到芯片层。在 NVIDIA GB10 上，智能体编写的模板运行 Qwen3-8B 层比 SGLang 快 1.075 倍；模拟 Ventus GPU 研究中，联合设计将 Qwen2.5-0.5B 最坏场景周期降至参考值的 0.428；复用证明使五步 GEMM 链的检查快 2.51 倍。
来源：arXiv · cs.AI · arxiv.org