{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:PM7QS2R6ZRW3Z5UJKQI44PNKR3","short_pith_number":"pith:PM7QS2R6","canonical_record":{"source":{"id":"2308.04748","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T07:36:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"849ab140dacc07d1340d526c0cfbed2f3ae506bb3110c2729bee01a69a5411b7","abstract_canon_sha256":"19e2a5f7569795fe7ed036fad91e6f976bec52915817efc567760774c6473635"},"schema_version":"1.0"},"canonical_sha256":"7b3f096a3ecc6dbcf6895411ce3daa8eedd2ae9319f106c7c7816272b7694c6e","source":{"kind":"arxiv","id":"2308.04748","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.04748","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"arxiv_version","alias_value":"2308.04748v3","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.04748","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"pith_short_12","alias_value":"PM7QS2R6ZRW3","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"pith_short_16","alias_value":"PM7QS2R6ZRW3Z5UJ","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"pith_short_8","alias_value":"PM7QS2R6","created_at":"2026-07-05T09:46:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:PM7QS2R6ZRW3Z5UJKQI44PNKR3","target":"record","payload":{"canonical_record":{"source":{"id":"2308.04748","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T07:36:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"849ab140dacc07d1340d526c0cfbed2f3ae506bb3110c2729bee01a69a5411b7","abstract_canon_sha256":"19e2a5f7569795fe7ed036fad91e6f976bec52915817efc567760774c6473635"},"schema_version":"1.0"},"canonical_sha256":"7b3f096a3ecc6dbcf6895411ce3daa8eedd2ae9319f106c7c7816272b7694c6e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:46:42.469157Z","signature_b64":"CTHWaqmSxT1BbVh2AOoJNVa9cZN+Ugd44+tzYy9vjFMxo++JjELyddZ3fMOgDlbI6H1PDHUDF1FD/4kG+j57Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b3f096a3ecc6dbcf6895411ce3daa8eedd2ae9319f106c7c7816272b7694c6e","last_reissued_at":"2026-07-05T09:46:42.468598Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:46:42.468598Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.04748","source_version":3,"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:46:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e5OeC07eq2B1gzjPgZMWOg7qqPvadJ3q/+utBV69QiwmW4JXzxHMibaT5VNevAyoBul2uE9foaLKEWTWGA24CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T02:00:50.297547Z"},"content_sha256":"f6e1c1d1f284c01cf2bb4f8b182c99ae06836df436c67f14f779767384184137","schema_version":"1.0","event_id":"sha256:f6e1c1d1f284c01cf2bb4f8b182c99ae06836df436c67f14f779767384184137"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:PM7QS2R6ZRW3Z5UJKQI44PNKR3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fuzz4All: Universal Fuzzing with Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Chunqiu Steven Xia, Jia Le Tian, Lingming Zhang, Matteo Paltenghi, Michael Pradel","submitted_at":"2023-08-09T07:36:21Z","abstract_excerpt":"Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in various software systems. Systems under test (SUTs) that take in programming or formal language as inputs, e.g., compilers, runtime engines, constraint solvers, and software libraries with accessible APIs, are especially important as they are fundamental building blocks of software development. However, existing fuzzers for such systems often target a specific language, and thus cannot be easily applied to other languages or even other versions of the same language. Moreover, the inputs generated by existing fuz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.04748","kind":"arxiv","version":3},"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/2308.04748/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:46:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c2bCiJ4aMhIrE0qKmXSJDDLPqfv3O+kF7Ol9hBb7VDqD8Ho83SSm2np4TNHw+tRDe0SFYpq9Cstkt3Pf8w2GDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T02:00:50.298173Z"},"content_sha256":"c0427b5b531121d0bda0e66ad449114ea7f0e097e17e9b6f978de2e85f3d466e","schema_version":"1.0","event_id":"sha256:c0427b5b531121d0bda0e66ad449114ea7f0e097e17e9b6f978de2e85f3d466e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3/bundle.json","state_url":"https://pith.science/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3/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-19T02:00:50Z","links":{"resolver":"https://pith.science/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3","bundle":"https://pith.science/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3/bundle.json","state":"https://pith.science/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PM7QS2R6ZRW3Z5UJKQI44PNKR3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:PM7QS2R6ZRW3Z5UJKQI44PNKR3","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":"19e2a5f7569795fe7ed036fad91e6f976bec52915817efc567760774c6473635","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T07:36:21Z","title_canon_sha256":"849ab140dacc07d1340d526c0cfbed2f3ae506bb3110c2729bee01a69a5411b7"},"schema_version":"1.0","source":{"id":"2308.04748","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.04748","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"arxiv_version","alias_value":"2308.04748v3","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.04748","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"pith_short_12","alias_value":"PM7QS2R6ZRW3","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"pith_short_16","alias_value":"PM7QS2R6ZRW3Z5UJ","created_at":"2026-07-05T09:46:42Z"},{"alias_kind":"pith_short_8","alias_value":"PM7QS2R6","created_at":"2026-07-05T09:46:42Z"}],"graph_snapshots":[{"event_id":"sha256:c0427b5b531121d0bda0e66ad449114ea7f0e097e17e9b6f978de2e85f3d466e","target":"graph","created_at":"2026-07-05T09:46:42Z","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/2308.04748/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Fuzzing has achieved tremendous success in discovering bugs and vulnerabilities in various software systems. Systems under test (SUTs) that take in programming or formal language as inputs, e.g., compilers, runtime engines, constraint solvers, and software libraries with accessible APIs, are especially important as they are fundamental building blocks of software development. However, existing fuzzers for such systems often target a specific language, and thus cannot be easily applied to other languages or even other versions of the same language. Moreover, the inputs generated by existing fuz","authors_text":"Chunqiu Steven Xia, Jia Le Tian, Lingming Zhang, Matteo Paltenghi, Michael Pradel","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T07:36:21Z","title":"Fuzz4All: Universal Fuzzing with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.04748","kind":"arxiv","version":3},"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:f6e1c1d1f284c01cf2bb4f8b182c99ae06836df436c67f14f779767384184137","target":"record","created_at":"2026-07-05T09:46:42Z","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":"19e2a5f7569795fe7ed036fad91e6f976bec52915817efc567760774c6473635","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-08-09T07:36:21Z","title_canon_sha256":"849ab140dacc07d1340d526c0cfbed2f3ae506bb3110c2729bee01a69a5411b7"},"schema_version":"1.0","source":{"id":"2308.04748","kind":"arxiv","version":3}},"canonical_sha256":"7b3f096a3ecc6dbcf6895411ce3daa8eedd2ae9319f106c7c7816272b7694c6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b3f096a3ecc6dbcf6895411ce3daa8eedd2ae9319f106c7c7816272b7694c6e","first_computed_at":"2026-07-05T09:46:42.468598Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:46:42.468598Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CTHWaqmSxT1BbVh2AOoJNVa9cZN+Ugd44+tzYy9vjFMxo++JjELyddZ3fMOgDlbI6H1PDHUDF1FD/4kG+j57Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T09:46:42.469157Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.04748","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6e1c1d1f284c01cf2bb4f8b182c99ae06836df436c67f14f779767384184137","sha256:c0427b5b531121d0bda0e66ad449114ea7f0e097e17e9b6f978de2e85f3d466e"],"state_sha256":"80cce8c1734884083a9e372233c72a53b7a11b3902530081cce33c09d6843a67"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y2T2iAi8u9VgPmxFfujyQLWQYfHbItylw5EefVFV5OfXFiJg/sev3ZgE6VkHL+HPj+41TDEU6GELFqG/5nGwCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T02:00:50.303647Z","bundle_sha256":"37b8cb04f7c7132167bf42e213df93f0e27fedb4ca1300e2f6c59c2e0b577daa"}}