Verified
来源、主体与时间与首次落库记录一致。
| 文章 | FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence |
| 信任等级 | Aggregate |
| 发布主体 | — |
| 来源 | https://arxiv.org/abs/2608.26310 |
| 创建时间 | Friday, 28 August 2026 - 15:30 |
| 已记录哈希 | f699f40e163058c7cd525b4002297485c8fa039a80420dbf2c293fc7888d7048 |
| 重算哈希 | f699f40e163058c7cd525b4002297485c8fa039a80420dbf2c293fc7888d7048 |
哈希算法：sha256(来源URL|主体ID|创建时间戳)，主体缺失时主体ID为 0。