arXiv Artificial Intelligence· Yi Ding, Li Shang·2026-10-30 12:00· 17 小时前AI 评分38

Formulaic：用语言模型智能体做 AI 基础设施的软硬件协同设计

Learning to Formulate: Agentic Hardware-Software Co-Design of AI Infrastructure through Progressive Optimization and Verification

AI 导读

Formulaic 将 AI 基础设施设计拆成三步：智能体写数学形式化、求解器在形式化内优化、验证与实测检查假设与结果，智能体从计算图逐步细化到芯片。