{"as_of":"2026-07-20T13:14:00Z","canonical_paper_id":"2TN5JHT4","canonical_url":"https://pith.science/paper/2TN5JHT4/integrity","context_digest":"sha256:cee78aed2e64aad22f774e6aa8332b6c0dd684fb69c80b364128d4318e2d9c8e","coverage_summary":[{"count":5,"denominator":5,"note":"Counted as completed checks in the claim sentence numerator.","state":"completed"}],"findings":[],"findings_empty_copy":"The completed checks produced no public findings within their stated scope.","findings_observation_state":"completed_zero_findings","links":{"arxiv":"https://arxiv.org/abs/2605.22885","bundle_json":"/pith/2TN5JHT4M4KXI3RG75BN2C3GB3/bundle.json","citation_record":"/paper/2TN5JHT4/citation-record","evidence":"/evidence","html":"/paper/2TN5JHT4/integrity","integrity_json":"/paper/2TN5JHT4/integrity.json","json":"/paper/2TN5JHT4/integrity.json","legacy_integrity_json":"/pith/2TN5JHT4/integrity.json","paper":"/paper/2TN5JHT4","reference_changes":"/flags?citing=2TN5JHT4"},"paper":{"arxiv_id":"2605.22885","latest_version":1,"primary_cat":"cs.AI","title":"ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization"},"pith_number":"pith:2026:2TN5JHT4M4KXI3RG75BN2C3GB3","pith_short":"2TN5JHT4M4KXI3RG75BN2C3GB3","record":{"arxiv_id":"2605.22885","claim":"As of 5 June 2026, Pith completed 5 of 5 listed checks against arXiv:2605.22885. The completed checks produced no public findings within their stated scope.","counts":{"completed":5,"failed":0,"listed":5,"not_collected":0,"not_requested":0,"partial":0,"public_findings_from_completed":0,"skipped":0,"unavailable":0,"withheld":0},"coverage":[{"counts_as_completed":true,"duration_ms":2,"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-06-05T09:06:09.896832Z","reason":null,"reason_code":null,"refs_checked":7,"scope":"Cited titles compared with titles resolved from their DOI or arXiv identifier.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":1279,"findings_count":0,"name":"doi_compliance","ran_at":"2026-06-02T11:32:09.821292Z","reason":null,"reason_code":null,"refs_checked":5,"scope":"DOI and arXiv identifiers listed in the bibliography checked against named registries.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":753,"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-06-01T05:42:29.606278Z","reason":null,"reason_code":null,"refs_checked":1,"scope":"Paper body text scanned for literal AI-assistant artifacts.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":0,"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-27T17:04:31.839590Z","reason":null,"reason_code":null,"refs_checked":0,"scope":"Recorded paper claims checked for the evidence artifacts they name.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":857,"findings_count":0,"name":"cited_work_retraction","ran_at":"2026-05-25T18:54:24.299462Z","reason":null,"reason_code":null,"refs_checked":4,"scope":"Cited references checked for source-reported retractions or expressions of concern.","status":"completed","version":"1.0.0"}],"observed_at":"2026-06-05T09:06:09.896832Z","refusal":"This is a record of named checks, not a clean-status claim or a paper verdict.","schema":"pith.integrity.v1"},"schema":"pith.paper-integrity-record.v1","species":"LEDGER"}