TY  - RPRT
TI  - FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence
AU  - Ziyu Wang
AU  - Qiming Dai
AU  - Yishan Wu
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2608.26310
ID  - 2608.26310
ER  -