{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:PXNYE5JATAXOHKHABBA23YEEUT","short_pith_number":"pith:PXNYE5JA","canonical_record":{"source":{"id":"2409.09271","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-14T02:43:20Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6c46bc005437b0523b9b5cfca227e70036c063694db1d9f4c8a976445718b60a","abstract_canon_sha256":"f85e7982a254268e30cca526eb1e30b9482fa19daf4528fd77a85cb2f29914fe"},"schema_version":"1.0"},"canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","source":{"kind":"arxiv","id":"2409.09271","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.09271","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"arxiv_version","alias_value":"2409.09271v1","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.09271","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"pith_short_12","alias_value":"PXNYE5JATAXO","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"pith_short_16","alias_value":"PXNYE5JATAXOHKHA","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"pith_short_8","alias_value":"PXNYE5JA","created_at":"2026-07-05T09:07:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:PXNYE5JATAXOHKHABBA23YEEUT","target":"record","payload":{"canonical_record":{"source":{"id":"2409.09271","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-14T02:43:20Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6c46bc005437b0523b9b5cfca227e70036c063694db1d9f4c8a976445718b60a","abstract_canon_sha256":"f85e7982a254268e30cca526eb1e30b9482fa19daf4528fd77a85cb2f29914fe"},"schema_version":"1.0"},"canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:07:07.363171Z","signature_b64":"n3zuKyR5/EPdDjtXdIyKAfnCAx2veaEikMTstGBc78060J4vXlcAXvB9gK2mpuAjdAnZmsQey7Bbe/eTYg1XCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","last_reissued_at":"2026-07-05T09:07:07.362547Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:07:07.362547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.09271","source_version":1,"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-05T09:07:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DpGUXan9rIX0/3s54UjyQEINXQ15NlfSIbTITHYfmztEUYMQ+IqfByinY8rUUOD6qH1au3mTSD9nYJPWwfKDAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T01:21:03.929179Z"},"content_sha256":"1a6add26bcb81eff65b27b76105a8289bc30a53a4428eea26e6d7e998e0f9c6c","schema_version":"1.0","event_id":"sha256:1a6add26bcb81eff65b27b76105a8289bc30a53a4428eea26e6d7e998e0f9c6c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:PXNYE5JATAXOHKHABBA23YEEUT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Python Symbolic Execution with LLM-powered Code Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"An Ran Chen, Gang Huang, Ge Li, Kaibo Liu, Lei Ma, Wenhan Wang, Zhi Jin","submitted_at":"2024-09-14T02:43:20Z","abstract_excerpt":"Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers. Symbolic execution has been proven helpful in generating high-coverage test cases, but its limitations, e.g., the difficulties in solving path constraints, prevent it from broader usage in software testing. Moreover, symbolic execution has encountered many difficulties when applied to dynamically typed languages like Python, because it is extremely challenging to translate the flexible Python grammar into rigid solvers.\n  "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.09271","kind":"arxiv","version":1},"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/2409.09271/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-05T09:07:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2cKEZgZMAlxqKZroRDqoYrXKZULapjgBgapkw48xcZjUsM9qeNdSESLxDfwu6jHTVFB/diiSnB3fSAA8XebZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T01:21:03.929699Z"},"content_sha256":"792b2ad2ca6230e81e179057bec782317a0b0ee29b7d6853b174a99406eed56b","schema_version":"1.0","event_id":"sha256:792b2ad2ca6230e81e179057bec782317a0b0ee29b7d6853b174a99406eed56b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/bundle.json","state_url":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PXNYE5JATAXOHKHABBA23YEEUT/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-07T01:21:03Z","links":{"resolver":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT","bundle":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/bundle.json","state":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PXNYE5JATAXOHKHABBA23YEEUT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PXNYE5JATAXOHKHABBA23YEEUT","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":"f85e7982a254268e30cca526eb1e30b9482fa19daf4528fd77a85cb2f29914fe","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-14T02:43:20Z","title_canon_sha256":"6c46bc005437b0523b9b5cfca227e70036c063694db1d9f4c8a976445718b60a"},"schema_version":"1.0","source":{"id":"2409.09271","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.09271","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"arxiv_version","alias_value":"2409.09271v1","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.09271","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"pith_short_12","alias_value":"PXNYE5JATAXO","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"pith_short_16","alias_value":"PXNYE5JATAXOHKHA","created_at":"2026-07-05T09:07:07Z"},{"alias_kind":"pith_short_8","alias_value":"PXNYE5JA","created_at":"2026-07-05T09:07:07Z"}],"graph_snapshots":[{"event_id":"sha256:792b2ad2ca6230e81e179057bec782317a0b0ee29b7d6853b174a99406eed56b","target":"graph","created_at":"2026-07-05T09:07:07Z","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/2409.09271/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers. Symbolic execution has been proven helpful in generating high-coverage test cases, but its limitations, e.g., the difficulties in solving path constraints, prevent it from broader usage in software testing. Moreover, symbolic execution has encountered many difficulties when applied to dynamically typed languages like Python, because it is extremely challenging to translate the flexible Python grammar into rigid solvers.\n  ","authors_text":"An Ran Chen, Gang Huang, Ge Li, Kaibo Liu, Lei Ma, Wenhan Wang, Zhi Jin","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-14T02:43:20Z","title":"Python Symbolic Execution with LLM-powered Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.09271","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:1a6add26bcb81eff65b27b76105a8289bc30a53a4428eea26e6d7e998e0f9c6c","target":"record","created_at":"2026-07-05T09:07:07Z","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":"f85e7982a254268e30cca526eb1e30b9482fa19daf4528fd77a85cb2f29914fe","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-14T02:43:20Z","title_canon_sha256":"6c46bc005437b0523b9b5cfca227e70036c063694db1d9f4c8a976445718b60a"},"schema_version":"1.0","source":{"id":"2409.09271","kind":"arxiv","version":1}},"canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","first_computed_at":"2026-07-05T09:07:07.362547Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:07:07.362547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n3zuKyR5/EPdDjtXdIyKAfnCAx2veaEikMTstGBc78060J4vXlcAXvB9gK2mpuAjdAnZmsQey7Bbe/eTYg1XCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:07:07.363171Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.09271","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a6add26bcb81eff65b27b76105a8289bc30a53a4428eea26e6d7e998e0f9c6c","sha256:792b2ad2ca6230e81e179057bec782317a0b0ee29b7d6853b174a99406eed56b"],"state_sha256":"edd7bc8d0dbf93158f5f46d0e9ea072326f72799513a179d68c2bb568427f7f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hXruiYTl6T3QWa7BbpP3tcioyAnv2HLHYIfoY76u3IEVyPQ35BZLM+ML6IRJu3PYTBIR2WzRqfmL9B6lgUrlCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T01:21:03.934509Z","bundle_sha256":"eab00e017da2747f086add0f3ae1e7ed52ba72b10a3ad4237f4673d211ff5605"}}