{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EHE7RJQG5RQGG5PYQ36SR43DWW","short_pith_number":"pith:EHE7RJQG","canonical_record":{"source":{"id":"2508.10059","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-12T22:03:54Z","cross_cats_sorted":[],"title_canon_sha256":"8467e8d03945f797eac3f75125702d0f5fef8e02e692f83f2196991d098d6553","abstract_canon_sha256":"fa3994696ef6f0d96adc7c211f1549d7ef78073720e1b78fdab32148b99bf5d4"},"schema_version":"1.0"},"canonical_sha256":"21c9f8a606ec606375f886fd28f363b5ad89b0127ca9870dc584fd18a3d4c77a","source":{"kind":"arxiv","id":"2508.10059","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.10059","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"arxiv_version","alias_value":"2508.10059v2","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.10059","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"pith_short_12","alias_value":"EHE7RJQG5RQG","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"pith_short_16","alias_value":"EHE7RJQG5RQGG5PY","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"pith_short_8","alias_value":"EHE7RJQG","created_at":"2026-07-05T12:03:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EHE7RJQG5RQGG5PYQ36SR43DWW","target":"record","payload":{"canonical_record":{"source":{"id":"2508.10059","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-12T22:03:54Z","cross_cats_sorted":[],"title_canon_sha256":"8467e8d03945f797eac3f75125702d0f5fef8e02e692f83f2196991d098d6553","abstract_canon_sha256":"fa3994696ef6f0d96adc7c211f1549d7ef78073720e1b78fdab32148b99bf5d4"},"schema_version":"1.0"},"canonical_sha256":"21c9f8a606ec606375f886fd28f363b5ad89b0127ca9870dc584fd18a3d4c77a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:03:51.260538Z","signature_b64":"3XRa3BCEtglCHYHGwI/I6admJ31vOFLk/u9IBoups7oC3P+TfZa6fv5FjRG4aTtEygwYa6rwzTBBMq3Vu1iHDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"21c9f8a606ec606375f886fd28f363b5ad89b0127ca9870dc584fd18a3d4c77a","last_reissued_at":"2026-07-05T12:03:51.259982Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:03:51.259982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.10059","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:03:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7mKRqf7LzidmWEBjU0tmktcUVxypwE6J4ZCo+bUF2lc8QSGAa3uXz8P88562dHFwSqRv5gDG2hMGNjvxlDIRCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T04:59:03.675252Z"},"content_sha256":"89005f9b1107a47bafe618c9e15f510a3280f450d7fe6e6391854e4c8d998457","schema_version":"1.0","event_id":"sha256:89005f9b1107a47bafe618c9e15f510a3280f450d7fe6e6391854e4c8d998457"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EHE7RJQG5RQGG5PYQ36SR43DWW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Kevin Leach, Yifan Zhang, Yueke Zhang, Yu Huang","submitted_at":"2025-08-12T22:03:54Z","abstract_excerpt":"While Large Language Models (LLMs) have demonstrated remarkable capabilities in code generation, they often produce solutions that lack guarantees of correctness, robustness, and efficiency. This limitation is particularly acute in domains requiring strict constraints. CodeGrad introduces a principled framework that integrates rigorous verification techniques directly into an iterative LLM-based generation loop. It uniquely treats code as a differentiable variable, converting structured feedback and mathematical constraints into a textual pseudo-gradient. This gradient guides the model to iter"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.10059","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.10059/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:03:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W67NtgjB49/NdXwr4RZSsfUivcNo6H7otS37ozhDyIJ2k8clD59I1r+w8Rv/PlLrOsipiSZnZI+f6IgdoRSZCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T04:59:03.676118Z"},"content_sha256":"115b66402f844f522d0df22909d05a53a41bb8be052a53fc02136c0c668c6a62","schema_version":"1.0","event_id":"sha256:115b66402f844f522d0df22909d05a53a41bb8be052a53fc02136c0c668c6a62"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EHE7RJQG5RQGG5PYQ36SR43DWW/bundle.json","state_url":"https://pith.science/pith/EHE7RJQG5RQGG5PYQ36SR43DWW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EHE7RJQG5RQGG5PYQ36SR43DWW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-17T04:59:03Z","links":{"resolver":"https://pith.science/pith/EHE7RJQG5RQGG5PYQ36SR43DWW","bundle":"https://pith.science/pith/EHE7RJQG5RQGG5PYQ36SR43DWW/bundle.json","state":"https://pith.science/pith/EHE7RJQG5RQGG5PYQ36SR43DWW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EHE7RJQG5RQGG5PYQ36SR43DWW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EHE7RJQG5RQGG5PYQ36SR43DWW","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":"fa3994696ef6f0d96adc7c211f1549d7ef78073720e1b78fdab32148b99bf5d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-12T22:03:54Z","title_canon_sha256":"8467e8d03945f797eac3f75125702d0f5fef8e02e692f83f2196991d098d6553"},"schema_version":"1.0","source":{"id":"2508.10059","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.10059","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"arxiv_version","alias_value":"2508.10059v2","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.10059","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"pith_short_12","alias_value":"EHE7RJQG5RQG","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"pith_short_16","alias_value":"EHE7RJQG5RQGG5PY","created_at":"2026-07-05T12:03:51Z"},{"alias_kind":"pith_short_8","alias_value":"EHE7RJQG","created_at":"2026-07-05T12:03:51Z"}],"graph_snapshots":[{"event_id":"sha256:115b66402f844f522d0df22909d05a53a41bb8be052a53fc02136c0c668c6a62","target":"graph","created_at":"2026-07-05T12:03:51Z","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/2508.10059/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While Large Language Models (LLMs) have demonstrated remarkable capabilities in code generation, they often produce solutions that lack guarantees of correctness, robustness, and efficiency. This limitation is particularly acute in domains requiring strict constraints. CodeGrad introduces a principled framework that integrates rigorous verification techniques directly into an iterative LLM-based generation loop. It uniquely treats code as a differentiable variable, converting structured feedback and mathematical constraints into a textual pseudo-gradient. This gradient guides the model to iter","authors_text":"Kevin Leach, Yifan Zhang, Yueke Zhang, Yu Huang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-12T22:03:54Z","title":"CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.10059","kind":"arxiv","version":2},"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:89005f9b1107a47bafe618c9e15f510a3280f450d7fe6e6391854e4c8d998457","target":"record","created_at":"2026-07-05T12:03:51Z","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":"fa3994696ef6f0d96adc7c211f1549d7ef78073720e1b78fdab32148b99bf5d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-12T22:03:54Z","title_canon_sha256":"8467e8d03945f797eac3f75125702d0f5fef8e02e692f83f2196991d098d6553"},"schema_version":"1.0","source":{"id":"2508.10059","kind":"arxiv","version":2}},"canonical_sha256":"21c9f8a606ec606375f886fd28f363b5ad89b0127ca9870dc584fd18a3d4c77a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21c9f8a606ec606375f886fd28f363b5ad89b0127ca9870dc584fd18a3d4c77a","first_computed_at":"2026-07-05T12:03:51.259982Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:03:51.259982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3XRa3BCEtglCHYHGwI/I6admJ31vOFLk/u9IBoups7oC3P+TfZa6fv5FjRG4aTtEygwYa6rwzTBBMq3Vu1iHDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:03:51.260538Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.10059","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:89005f9b1107a47bafe618c9e15f510a3280f450d7fe6e6391854e4c8d998457","sha256:115b66402f844f522d0df22909d05a53a41bb8be052a53fc02136c0c668c6a62"],"state_sha256":"1ceb6c14db82a30e40f1fca77bb7f0fa8e4277a2bfc02ef2776e3d000ad34a4a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D40qgM/XN3JcaVq0xSUI6ukw406h85rpbe1ize99k3aESLQH5qe0Fzq7GEJiKQ1WnU8cgfDnkir+21AFfS/vCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T04:59:03.682073Z","bundle_sha256":"48ecc0b3122f3e5de87658ebc37e7300bb85136a14cf6d4945fb33622986351c"}}