{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:ADP5YGOHHIRSDLERYDTLZFZBJN","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":"c885d13152f77f9cfdbd57e0267e7f96b07bdacdda6d096dd16e3d8d7eef671d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.NE","submitted_at":"2023-04-06T16:23:34Z","title_canon_sha256":"a174c235041dc0af585b39a30e10c0a83abacbd37e60bb67c18fb2f7d861a075"},"schema_version":"1.0","source":{"id":"2304.03200","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.03200","created_at":"2026-07-05T05:58:46Z"},{"alias_kind":"arxiv_version","alias_value":"2304.03200v1","created_at":"2026-07-05T05:58:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.03200","created_at":"2026-07-05T05:58:46Z"},{"alias_kind":"pith_short_12","alias_value":"ADP5YGOHHIRS","created_at":"2026-07-05T05:58:46Z"},{"alias_kind":"pith_short_16","alias_value":"ADP5YGOHHIRSDLER","created_at":"2026-07-05T05:58:46Z"},{"alias_kind":"pith_short_8","alias_value":"ADP5YGOH","created_at":"2026-07-05T05:58:46Z"}],"graph_snapshots":[{"event_id":"sha256:8f52c31a9d5baeffb73ad14cc8c50304ab2ba41ab98cfffd4bbfad3006b658c1","target":"graph","created_at":"2026-07-05T05:58:46Z","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/2304.03200/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Program synthesis is the process of generating a computer program following a set of specifications, which can be a high-level description of the problem and/or a set of input-output examples. The synthesis can be modeled as a search problem in which the search space is the set of all the programs valid under a grammar. As the search space is vast, brute force is usually not viable and search heuristics, such as genetic programming, also have difficulty navigating it without any guidance. In this paper we present HOTGP, a new genetic programming algorithm that synthesizes pure, typed, and func","authors_text":"Emilio Francesquini, Fabr\\'icio Olivetti de Fran\\c{c}a, Matheus Campos Fernandes","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.NE","submitted_at":"2023-04-06T16:23:34Z","title":"HOTGP -- Higher-Order Typed Genetic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.03200","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:8277e0a22d316186af8c2f3edbd92a80ed7d876cb476fc58a7eb0851f0957d62","target":"record","created_at":"2026-07-05T05:58:46Z","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":"c885d13152f77f9cfdbd57e0267e7f96b07bdacdda6d096dd16e3d8d7eef671d","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.NE","submitted_at":"2023-04-06T16:23:34Z","title_canon_sha256":"a174c235041dc0af585b39a30e10c0a83abacbd37e60bb67c18fb2f7d861a075"},"schema_version":"1.0","source":{"id":"2304.03200","kind":"arxiv","version":1}},"canonical_sha256":"00dfdc19c73a2321ac91c0e6bc97214b7451cb5441cc250436fc2f4688d257fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00dfdc19c73a2321ac91c0e6bc97214b7451cb5441cc250436fc2f4688d257fc","first_computed_at":"2026-07-05T05:58:46.659591Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:58:46.659591Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FbuPoZ/wEAT1OBVomZF2uEDQrRiGLjEWcK+mo1xx1oR6s53ooJ16y8TulyyaRcIKqgNUidDJ/L/7J2kiqQmqAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:58:46.659955Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.03200","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8277e0a22d316186af8c2f3edbd92a80ed7d876cb476fc58a7eb0851f0957d62","sha256:8f52c31a9d5baeffb73ad14cc8c50304ab2ba41ab98cfffd4bbfad3006b658c1"],"state_sha256":"b1aadcf8e33b8a8d793739b4fbe708b739d7657060c0ebd0521ae44452840752"}