{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:3375W42XTN5E5C54WP7PENNNOS","short_pith_number":"pith:3375W42X","canonical_record":{"source":{"id":"2004.11018","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2020-04-23T08:15:48Z","cross_cats_sorted":[],"title_canon_sha256":"eed8f41810f964ac474a91e6d4e2263d11092c0e265cd3d2666ce37ad5e07e91","abstract_canon_sha256":"1bf19ae08e62e8b933aa376bae01c046e39458386d333645a687fbda4112245e"},"schema_version":"1.0"},"canonical_sha256":"deffdb73579b7a4e8bbcb3fef235ad74b6a1d2dd1b23dcaf966b479da7429c94","source":{"kind":"arxiv","id":"2004.11018","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.11018","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"arxiv_version","alias_value":"2004.11018v1","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.11018","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"pith_short_12","alias_value":"3375W42XTN5E","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"pith_short_16","alias_value":"3375W42XTN5E5C54","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"pith_short_8","alias_value":"3375W42X","created_at":"2026-07-05T00:57:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:3375W42XTN5E5C54WP7PENNNOS","target":"record","payload":{"canonical_record":{"source":{"id":"2004.11018","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2020-04-23T08:15:48Z","cross_cats_sorted":[],"title_canon_sha256":"eed8f41810f964ac474a91e6d4e2263d11092c0e265cd3d2666ce37ad5e07e91","abstract_canon_sha256":"1bf19ae08e62e8b933aa376bae01c046e39458386d333645a687fbda4112245e"},"schema_version":"1.0"},"canonical_sha256":"deffdb73579b7a4e8bbcb3fef235ad74b6a1d2dd1b23dcaf966b479da7429c94","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:57:38.377553Z","signature_b64":"v2Dbo6Ek7tTGvdwR4rxzxapdlFQ0TWHfzG9x9jMGnPRQe3XZQZeTT0lAKHWZO6Ud2QW7dZv2qVAsRBF52dChDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"deffdb73579b7a4e8bbcb3fef235ad74b6a1d2dd1b23dcaf966b479da7429c94","last_reissued_at":"2026-07-05T00:57:38.377153Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:57:38.377153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.11018","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-05T00:57:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O/VIcGmZLt7nFstIl/FaYqQNjtXU4MPxFEParoFXk3Lz0CGFC//LIQITCSNt1ussV5fiwnHXOUlvWFc36ofVCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T15:41:41.229173Z"},"content_sha256":"c93b7a2d6aa26e41b9bcffcc051bec1925e91eb037474578b561b63cb06c098e","schema_version":"1.0","event_id":"sha256:c93b7a2d6aa26e41b9bcffcc051bec1925e91eb037474578b561b63cb06c098e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:3375W42XTN5E5C54WP7PENNNOS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NE","authors_text":"David Hodan, Vojtech Mrazek, Zdenek Vasicek","submitted_at":"2020-04-23T08:15:48Z","abstract_excerpt":"Despite many successful applications, Cartesian Genetic Programming (CGP) suffers from limited scalability, especially when used for evolutionary circuit design. Considering the multiplier design problem, for example, the 5x5-bit multiplier represents the most complex circuit evolved from a randomly generated initial population. The efficiency of CGP highly depends on the performance of the point mutation operator, however, this operator is purely stochastic. This contrasts with the recent developments in Genetic Programming (GP), where advanced informed approaches such as semantic-aware opera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.11018","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/2004.11018/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-05T00:57:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"++4K1EZKrIeTzRAupACcBP686mWBXvxvW4crYPltcaMbO65N+RL/+aTet4D5AFYZQ43QXAMutlVeGCJL/sHeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T15:41:41.230079Z"},"content_sha256":"8d8b8c079278c9a07e67ff57924863216136d9a08a10ee5b7927928ffd6ab3ac","schema_version":"1.0","event_id":"sha256:8d8b8c079278c9a07e67ff57924863216136d9a08a10ee5b7927928ffd6ab3ac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3375W42XTN5E5C54WP7PENNNOS/bundle.json","state_url":"https://pith.science/pith/3375W42XTN5E5C54WP7PENNNOS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3375W42XTN5E5C54WP7PENNNOS/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-04T15:41:41Z","links":{"resolver":"https://pith.science/pith/3375W42XTN5E5C54WP7PENNNOS","bundle":"https://pith.science/pith/3375W42XTN5E5C54WP7PENNNOS/bundle.json","state":"https://pith.science/pith/3375W42XTN5E5C54WP7PENNNOS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3375W42XTN5E5C54WP7PENNNOS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:3375W42XTN5E5C54WP7PENNNOS","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":"1bf19ae08e62e8b933aa376bae01c046e39458386d333645a687fbda4112245e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2020-04-23T08:15:48Z","title_canon_sha256":"eed8f41810f964ac474a91e6d4e2263d11092c0e265cd3d2666ce37ad5e07e91"},"schema_version":"1.0","source":{"id":"2004.11018","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.11018","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"arxiv_version","alias_value":"2004.11018v1","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.11018","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"pith_short_12","alias_value":"3375W42XTN5E","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"pith_short_16","alias_value":"3375W42XTN5E5C54","created_at":"2026-07-05T00:57:38Z"},{"alias_kind":"pith_short_8","alias_value":"3375W42X","created_at":"2026-07-05T00:57:38Z"}],"graph_snapshots":[{"event_id":"sha256:8d8b8c079278c9a07e67ff57924863216136d9a08a10ee5b7927928ffd6ab3ac","target":"graph","created_at":"2026-07-05T00:57:38Z","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/2004.11018/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite many successful applications, Cartesian Genetic Programming (CGP) suffers from limited scalability, especially when used for evolutionary circuit design. Considering the multiplier design problem, for example, the 5x5-bit multiplier represents the most complex circuit evolved from a randomly generated initial population. The efficiency of CGP highly depends on the performance of the point mutation operator, however, this operator is purely stochastic. This contrasts with the recent developments in Genetic Programming (GP), where advanced informed approaches such as semantic-aware opera","authors_text":"David Hodan, Vojtech Mrazek, Zdenek Vasicek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2020-04-23T08:15:48Z","title":"Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.11018","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:c93b7a2d6aa26e41b9bcffcc051bec1925e91eb037474578b561b63cb06c098e","target":"record","created_at":"2026-07-05T00:57:38Z","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":"1bf19ae08e62e8b933aa376bae01c046e39458386d333645a687fbda4112245e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2020-04-23T08:15:48Z","title_canon_sha256":"eed8f41810f964ac474a91e6d4e2263d11092c0e265cd3d2666ce37ad5e07e91"},"schema_version":"1.0","source":{"id":"2004.11018","kind":"arxiv","version":1}},"canonical_sha256":"deffdb73579b7a4e8bbcb3fef235ad74b6a1d2dd1b23dcaf966b479da7429c94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"deffdb73579b7a4e8bbcb3fef235ad74b6a1d2dd1b23dcaf966b479da7429c94","first_computed_at":"2026-07-05T00:57:38.377153Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:57:38.377153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v2Dbo6Ek7tTGvdwR4rxzxapdlFQ0TWHfzG9x9jMGnPRQe3XZQZeTT0lAKHWZO6Ud2QW7dZv2qVAsRBF52dChDg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:57:38.377553Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.11018","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c93b7a2d6aa26e41b9bcffcc051bec1925e91eb037474578b561b63cb06c098e","sha256:8d8b8c079278c9a07e67ff57924863216136d9a08a10ee5b7927928ffd6ab3ac"],"state_sha256":"eb427d6f17f92b615e259e2a80f64996c70c16479c9da45a1445986d15e8673a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FYCn8VeXPNHzi48srh0HdMm0OPDrt7xFlbRGsxw9/xSNpuzUDNccgCbuUFT90rymmP8eV8KSPFAW7eO2M/nkDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T15:41:41.236943Z","bundle_sha256":"66a2483b3c95564178952cff19b3420019d0f2332b0b5988bc61e4f91937eb6f"}}