{"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"}