FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence.

arXiv:2608.26310v2 Announce Type: replace Abstract: Large language models can now generate complex, multi-step mathematical proofs, but reliably determining their correctness and localizing early logical errors remains a critical challenge. Existing evaluation