{"node":{"id":14431,"uuid":"81886068-6e9e-4bb1-b965-8add2d6e087e","title":"FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence","url":"https:\/\/www.xmt.pub\/node\/14431","created":1787902215},"trust_level":"l0_aggregate","publisher":null,"source_url":"https:\/\/arxiv.org\/abs\/2608.26310","provenance":{"algorithm":"sha256(source_url|publisher_id|created)","stored":"f699f40e163058c7cd525b4002297485c8fa039a80420dbf2c293fc7888d7048","expected":"f699f40e163058c7cd525b4002297485c8fa039a80420dbf2c293fc7888d7048","status":"verified"}}