arXiv ID:
2603.03175
arXiv 提交日期: 2026-03-03
Saarthi迈向通用人工智能:面向形式验证的领域特定通用智能 / Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
1️⃣ 一句话总结
这篇论文提出了一个名为Saarthi的多智能体AI框架,通过引入结构化规则手册和增强的知识检索技术,显著提升了在芯片设计形式验证任务中自动生成正确断言的能力和效率。