{"schemaVersion":1,"target":{"type":"reading","id":"93b32d493415a3ff69aecd7f8aec248c3c07595989b0195e54ccf4cebb149aa0","revision":"952edc6b-4a11-4709-85ab-eeafa1f7aa27","revisionKind":"publication-id","title":"arXiv cs.AI: When Is Proof-Step Verification Worth Its Cost?","url":"https://escapemeridian.com/readings/arxiv-cs-ai-when-is-proof-step-verification-worth-its-cost-93b32d49"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.14794","revision":"dc783fc8931313c59bc03035850b4a5b6f35a9677d0f9e63946605a0413ea3ef","revisionKind":"sha256-source-text","title":"When Is Proof-Step Verification Worth Its Cost? Operating Requirements of Certify-or-Decline Verification for Open-Weight Mathematical Reasoning","url":"https://arxiv.org/abs/2611.14794"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}