{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GT34EFSSMGQQNOMWQOEXM5EYJZ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e290b311e7853b5053523b9d7602925962409269089a458c2c7d345241ed8bda","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-20T07:52:36Z","title_canon_sha256":"a2efe7eb7cdbdcd227e5b5526dbae7effaee1fb385f35b65ef83b9636b483d53"},"schema_version":"1.0","source":{"id":"2607.17641","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.17641","created_at":"2026-07-21T01:21:56Z"},{"alias_kind":"arxiv_version","alias_value":"2607.17641v1","created_at":"2026-07-21T01:21:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.17641","created_at":"2026-07-21T01:21:56Z"},{"alias_kind":"pith_short_12","alias_value":"GT34EFSSMGQQ","created_at":"2026-07-21T01:21:56Z"},{"alias_kind":"pith_short_16","alias_value":"GT34EFSSMGQQNOMW","created_at":"2026-07-21T01:21:56Z"},{"alias_kind":"pith_short_8","alias_value":"GT34EFSS","created_at":"2026-07-21T01:21:56Z"}],"graph_snapshots":[{"event_id":"sha256:f07a1202d576d8b7eac3268ce187d1326a0148035228b2c49f57d0c9738b9616","target":"graph","created_at":"2026-07-21T01:21:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.17641/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verify-repair loops are a standard means for large language model (LLM) agents to correct faulty plans in code generation, mathematical reasoning, and tool use. When both the verifier and the repairer are noisy, repair can damage already-correct plans, and reported acceptance keeps rising while true validity falls, so existing methods lack a principled basis for deciding when repair should stop. We propose VRR-Stop, a robust stopping framework for noisy verify-repair-repeat (VRR) loops. A four-parameter noise model separates verifier false acceptance and false rejection from the repair and dam","authors_text":"Bin Hu, Hong Peng, Rui Yang, Si Shen, Yitao Wu","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-20T07:52:36Z","title":"Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.17641","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f0291f0e956aa5110118b8b0b91f89a8656c7fbdf57dcf5ee7fc351ab88be85c","target":"record","created_at":"2026-07-21T01:21:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e290b311e7853b5053523b9d7602925962409269089a458c2c7d345241ed8bda","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-20T07:52:36Z","title_canon_sha256":"a2efe7eb7cdbdcd227e5b5526dbae7effaee1fb385f35b65ef83b9636b483d53"},"schema_version":"1.0","source":{"id":"2607.17641","kind":"arxiv","version":1}},"canonical_sha256":"34f7c2165261a106b99683897674984e554a65ddf57b33681489f724d853c009","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34f7c2165261a106b99683897674984e554a65ddf57b33681489f724d853c009","first_computed_at":"2026-07-21T01:21:56.756625Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-21T01:21:56.756625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TXNO43lK0FsdvcBssSf6LL6d48j3qt/9+jpEaNQuiEEXWAqhqLhyDwpDjkrFLAO4Cdf7MWqQFp9TlPvaX5ndCw==","signature_status":"signed_v1","signed_at":"2026-07-21T01:21:56.757426Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.17641","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f0291f0e956aa5110118b8b0b91f89a8656c7fbdf57dcf5ee7fc351ab88be85c","sha256:f07a1202d576d8b7eac3268ce187d1326a0148035228b2c49f57d0c9738b9616"],"state_sha256":"314adcd2d2675070c122f95640080a65bdf9731b61c714756582aff246eb4a41"}