{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:KBRR7UG653MBFCPFNQVBY2FEWX","short_pith_number":"pith:KBRR7UG6","canonical_record":{"source":{"id":"2502.04568","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-06T23:46:04Z","cross_cats_sorted":["cs.NE"],"title_canon_sha256":"74dc7eb4fc889426b7dc3f1b7ac163f8882f43b5dae977eb6c81616f56fd3bd8","abstract_canon_sha256":"c0bbf55783622ef0167eebdee905297a8a3c6e9174c760e5738fcc274f6339d9"},"schema_version":"1.0"},"canonical_sha256":"50631fd0deeed81289e56c2a1c68a4b5dc940adc86236dd77189d83086bfa5bd","source":{"kind":"arxiv","id":"2502.04568","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.04568","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"arxiv_version","alias_value":"2502.04568v1","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.04568","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"pith_short_12","alias_value":"KBRR7UG653MB","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"pith_short_16","alias_value":"KBRR7UG653MBFCPF","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"pith_short_8","alias_value":"KBRR7UG6","created_at":"2026-07-05T10:10:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:KBRR7UG653MBFCPFNQVBY2FEWX","target":"record","payload":{"canonical_record":{"source":{"id":"2502.04568","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-06T23:46:04Z","cross_cats_sorted":["cs.NE"],"title_canon_sha256":"74dc7eb4fc889426b7dc3f1b7ac163f8882f43b5dae977eb6c81616f56fd3bd8","abstract_canon_sha256":"c0bbf55783622ef0167eebdee905297a8a3c6e9174c760e5738fcc274f6339d9"},"schema_version":"1.0"},"canonical_sha256":"50631fd0deeed81289e56c2a1c68a4b5dc940adc86236dd77189d83086bfa5bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:10:53.589618Z","signature_b64":"d75ZldVxJnZPlz+7nK0G2YdFEynRP7xzSw48BI/3mWutf57vS8W+w+K+wVZEpjag98LRpBd0syP3vB1RIq9CDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50631fd0deeed81289e56c2a1c68a4b5dc940adc86236dd77189d83086bfa5bd","last_reissued_at":"2026-07-05T10:10:53.589077Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:10:53.589077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.04568","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-05T10:10:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3KomKQNGfsad3kw4/s8Lpb9oJsZzxJzwRRl1vqhzQbZq7eUiVHo/vzwqYnzdomrna0BWzL2DZXFVkzx4B+s4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:04:56.490798Z"},"content_sha256":"933f1f5f650744d7a4d277caff7b37288a696db8ed22d5cdae72871c51fccf88","schema_version":"1.0","event_id":"sha256:933f1f5f650744d7a4d277caff7b37288a696db8ed22d5cdae72871c51fccf88"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:KBRR7UG653MBFCPFNQVBY2FEWX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Semantics-aware Search Operators for Genetic Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NE"],"primary_cat":"cs.LG","authors_text":"Krzysztof Krawiec, Piotr Wyrwi\\'nski","submitted_at":"2025-02-06T23:46:04Z","abstract_excerpt":"Fitness landscapes in test-based program synthesis are known to be extremely rugged, with even minimal modifications of programs often leading to fundamental changes in their behavior and, consequently, fitness values. Relying on fitness as the only guidance in iterative search algorithms like genetic programming is thus unnecessarily limiting, especially when combined with purely syntactic search operators that are agnostic about their impact on program behavior. In this study, we propose a semantics-aware search operator that steers the search towards candidate programs that are valuable not"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.04568","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/2502.04568/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-05T10:10:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+/XcpGPXQibwa3dQmrPqdQ/XEC8WVuNLCeHtYMSnBj6ZcWVIEUbfUQV2V+D7eGK/ZDYqydVNgXvsvImgWQiCDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:04:56.491167Z"},"content_sha256":"baca3e1c3ba78b893ca5f74672830b6c9d3d9a40ba086254057f13bf1779d2be","schema_version":"1.0","event_id":"sha256:baca3e1c3ba78b893ca5f74672830b6c9d3d9a40ba086254057f13bf1779d2be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KBRR7UG653MBFCPFNQVBY2FEWX/bundle.json","state_url":"https://pith.science/pith/KBRR7UG653MBFCPFNQVBY2FEWX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KBRR7UG653MBFCPFNQVBY2FEWX/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-07-06T19:04:56Z","links":{"resolver":"https://pith.science/pith/KBRR7UG653MBFCPFNQVBY2FEWX","bundle":"https://pith.science/pith/KBRR7UG653MBFCPFNQVBY2FEWX/bundle.json","state":"https://pith.science/pith/KBRR7UG653MBFCPFNQVBY2FEWX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KBRR7UG653MBFCPFNQVBY2FEWX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:KBRR7UG653MBFCPFNQVBY2FEWX","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":"c0bbf55783622ef0167eebdee905297a8a3c6e9174c760e5738fcc274f6339d9","cross_cats_sorted":["cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-06T23:46:04Z","title_canon_sha256":"74dc7eb4fc889426b7dc3f1b7ac163f8882f43b5dae977eb6c81616f56fd3bd8"},"schema_version":"1.0","source":{"id":"2502.04568","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.04568","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"arxiv_version","alias_value":"2502.04568v1","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.04568","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"pith_short_12","alias_value":"KBRR7UG653MB","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"pith_short_16","alias_value":"KBRR7UG653MBFCPF","created_at":"2026-07-05T10:10:53Z"},{"alias_kind":"pith_short_8","alias_value":"KBRR7UG6","created_at":"2026-07-05T10:10:53Z"}],"graph_snapshots":[{"event_id":"sha256:baca3e1c3ba78b893ca5f74672830b6c9d3d9a40ba086254057f13bf1779d2be","target":"graph","created_at":"2026-07-05T10:10:53Z","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/2502.04568/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Fitness landscapes in test-based program synthesis are known to be extremely rugged, with even minimal modifications of programs often leading to fundamental changes in their behavior and, consequently, fitness values. Relying on fitness as the only guidance in iterative search algorithms like genetic programming is thus unnecessarily limiting, especially when combined with purely syntactic search operators that are agnostic about their impact on program behavior. In this study, we propose a semantics-aware search operator that steers the search towards candidate programs that are valuable not","authors_text":"Krzysztof Krawiec, Piotr Wyrwi\\'nski","cross_cats":["cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-06T23:46:04Z","title":"Learning Semantics-aware Search Operators for Genetic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.04568","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:933f1f5f650744d7a4d277caff7b37288a696db8ed22d5cdae72871c51fccf88","target":"record","created_at":"2026-07-05T10:10:53Z","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":"c0bbf55783622ef0167eebdee905297a8a3c6e9174c760e5738fcc274f6339d9","cross_cats_sorted":["cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-06T23:46:04Z","title_canon_sha256":"74dc7eb4fc889426b7dc3f1b7ac163f8882f43b5dae977eb6c81616f56fd3bd8"},"schema_version":"1.0","source":{"id":"2502.04568","kind":"arxiv","version":1}},"canonical_sha256":"50631fd0deeed81289e56c2a1c68a4b5dc940adc86236dd77189d83086bfa5bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50631fd0deeed81289e56c2a1c68a4b5dc940adc86236dd77189d83086bfa5bd","first_computed_at":"2026-07-05T10:10:53.589077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:10:53.589077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d75ZldVxJnZPlz+7nK0G2YdFEynRP7xzSw48BI/3mWutf57vS8W+w+K+wVZEpjag98LRpBd0syP3vB1RIq9CDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:10:53.589618Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.04568","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:933f1f5f650744d7a4d277caff7b37288a696db8ed22d5cdae72871c51fccf88","sha256:baca3e1c3ba78b893ca5f74672830b6c9d3d9a40ba086254057f13bf1779d2be"],"state_sha256":"a362638d6cdc82b04955c6b4243ef3ff27d88980cc08f5a4b0b3a1d51148b9f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxyI1YBGWsaT4KZpLvUyyLBAU3eIKoiEFBKHI4VjDcx6IrEHRh67g3Mao16pCNXeI+Z8DhCYz0Y6CdxrDAWlCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:04:56.493091Z","bundle_sha256":"0a25e8d279a0f0c56d70c9a697b5ad83efac481e01077ad5072cfb5c718692b8"}}