Circuit Claims Depend on What Is Extracted and How It Is Compared
电路声明取决于提取的内容以及比较的方式
机构 * Fudan University（复旦大学） ； Shanghai Innovation Institute（上海创新研究院） ； IQuest Research（IQuest研究公司）
AI总结 研究指出电路提取中保留行为不能唯一确定电路，其声明依赖提取及比较方式。通过合成基准测试，在不同检查点和证明类型下改变提取对象等设置，发现边重叠敏感，总结有稳定指标，强调明确提取及比较要素对电路声明的重要性并提炼报告实践。
Comments 26 pages, 11 figures, 20 tables
