{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KGUCBMLA2WNAHKAJPD2GXGQ47E","short_pith_number":"pith:KGUCBMLA","canonical_record":{"source":{"id":"2605.31049","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T09:25:07Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"1788f7078d35918bc560024393517a7470ca029b8969c7d8cc81ea1669657332","abstract_canon_sha256":"5a47a4cc7ff7dca538c22af735e0c7ed3e10b9931505963d83bf7a77cc29c0ad"},"schema_version":"1.0"},"canonical_sha256":"51a820b160d59a03a80978f46b9a1cf93e23bcd7b14ae79bbcc5d86e4ab86d67","source":{"kind":"arxiv","id":"2605.31049","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31049","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31049v1","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31049","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"pith_short_12","alias_value":"KGUCBMLA2WNA","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"pith_short_16","alias_value":"KGUCBMLA2WNAHKAJ","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"pith_short_8","alias_value":"KGUCBMLA","created_at":"2026-06-01T01:03:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KGUCBMLA2WNAHKAJPD2GXGQ47E","target":"record","payload":{"canonical_record":{"source":{"id":"2605.31049","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T09:25:07Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"1788f7078d35918bc560024393517a7470ca029b8969c7d8cc81ea1669657332","abstract_canon_sha256":"5a47a4cc7ff7dca538c22af735e0c7ed3e10b9931505963d83bf7a77cc29c0ad"},"schema_version":"1.0"},"canonical_sha256":"51a820b160d59a03a80978f46b9a1cf93e23bcd7b14ae79bbcc5d86e4ab86d67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:03:32.854897Z","signature_b64":"clzo8y+eOdb9rAcEbLmFkyfqvd7x8E7Yhe+z0AhEyl4QDChuuhUo2JA4Hxc3boP0ukSuZ7AJ2pnK5fSPYvykCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51a820b160d59a03a80978f46b9a1cf93e23bcd7b14ae79bbcc5d86e4ab86d67","last_reissued_at":"2026-06-01T01:03:32.854008Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:03:32.854008Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.31049","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-06-01T01:03:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O0RjSEQsptpFEHR0ZC9S3Fx9jQrvlOZuloT714CKW8umV6JVPRXbx02X1tb/p0shyExY6BczhEp9Aa4DBaj+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T00:57:23.760251Z"},"content_sha256":"5c31c324ca3bfc2ec2fdf7dc49ac2803512dfa27b2d4a185782db3c2bd7fbed3","schema_version":"1.0","event_id":"sha256:5c31c324ca3bfc2ec2fdf7dc49ac2803512dfa27b2d4a185782db3c2bd7fbed3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KGUCBMLA2WNAHKAJPD2GXGQ47E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning to Solve and Optimize by Evolving Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.LG","authors_text":"Benedetta Strizzolo, Francesco Zuccato, Gerhard Friedrich, Konstantin Schekotihin, Patrick Rodler, Veronika Semmelrock","submitted_at":"2026-05-29T09:25:07Z","abstract_excerpt":"Combinatorial and optimization problems are fundamental to many industrial AI applications. Solving large-scale real-world instances of such problems typically requires careful problem formalization, specialized solvers, and expert-designed heuristics. Thus, experts need to specify not only what solutions are, but also how they are derived. By introducing the tool CHECKMATE, we show that algorithm generation via code evolution represents a paradigm shift by eliminating the need to formulate the how. CHECKMATE solely relies on the what. Specifically, a formal specification ensures solutions' co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31049","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/2605.31049/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-06-01T01:03:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DoLXsJs5mFqk4oe0S4mQmgNaMLQUKrBsp5tzBu9N2CQVSze9X1OEwciSTjMfsbeG/qgEwU0pmqZkyYRvaFiyDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T00:57:23.761053Z"},"content_sha256":"1d44a339e2f2926b720be385c5099e8bac72bbeff8eee16f891600738e38fb81","schema_version":"1.0","event_id":"sha256:1d44a339e2f2926b720be385c5099e8bac72bbeff8eee16f891600738e38fb81"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E/bundle.json","state_url":"https://pith.science/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E/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-06-12T00:57:23Z","links":{"resolver":"https://pith.science/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E","bundle":"https://pith.science/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E/bundle.json","state":"https://pith.science/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KGUCBMLA2WNAHKAJPD2GXGQ47E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KGUCBMLA2WNAHKAJPD2GXGQ47E","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":"5a47a4cc7ff7dca538c22af735e0c7ed3e10b9931505963d83bf7a77cc29c0ad","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T09:25:07Z","title_canon_sha256":"1788f7078d35918bc560024393517a7470ca029b8969c7d8cc81ea1669657332"},"schema_version":"1.0","source":{"id":"2605.31049","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31049","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31049v1","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31049","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"pith_short_12","alias_value":"KGUCBMLA2WNA","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"pith_short_16","alias_value":"KGUCBMLA2WNAHKAJ","created_at":"2026-06-01T01:03:32Z"},{"alias_kind":"pith_short_8","alias_value":"KGUCBMLA","created_at":"2026-06-01T01:03:32Z"}],"graph_snapshots":[{"event_id":"sha256:1d44a339e2f2926b720be385c5099e8bac72bbeff8eee16f891600738e38fb81","target":"graph","created_at":"2026-06-01T01:03:32Z","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/2605.31049/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Combinatorial and optimization problems are fundamental to many industrial AI applications. Solving large-scale real-world instances of such problems typically requires careful problem formalization, specialized solvers, and expert-designed heuristics. Thus, experts need to specify not only what solutions are, but also how they are derived. By introducing the tool CHECKMATE, we show that algorithm generation via code evolution represents a paradigm shift by eliminating the need to formulate the how. CHECKMATE solely relies on the what. Specifically, a formal specification ensures solutions' co","authors_text":"Benedetta Strizzolo, Francesco Zuccato, Gerhard Friedrich, Konstantin Schekotihin, Patrick Rodler, Veronika Semmelrock","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T09:25:07Z","title":"Learning to Solve and Optimize by Evolving Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31049","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:5c31c324ca3bfc2ec2fdf7dc49ac2803512dfa27b2d4a185782db3c2bd7fbed3","target":"record","created_at":"2026-06-01T01:03:32Z","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":"5a47a4cc7ff7dca538c22af735e0c7ed3e10b9931505963d83bf7a77cc29c0ad","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T09:25:07Z","title_canon_sha256":"1788f7078d35918bc560024393517a7470ca029b8969c7d8cc81ea1669657332"},"schema_version":"1.0","source":{"id":"2605.31049","kind":"arxiv","version":1}},"canonical_sha256":"51a820b160d59a03a80978f46b9a1cf93e23bcd7b14ae79bbcc5d86e4ab86d67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51a820b160d59a03a80978f46b9a1cf93e23bcd7b14ae79bbcc5d86e4ab86d67","first_computed_at":"2026-06-01T01:03:32.854008Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:03:32.854008Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"clzo8y+eOdb9rAcEbLmFkyfqvd7x8E7Yhe+z0AhEyl4QDChuuhUo2JA4Hxc3boP0ukSuZ7AJ2pnK5fSPYvykCw==","signature_status":"signed_v1","signed_at":"2026-06-01T01:03:32.854897Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.31049","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5c31c324ca3bfc2ec2fdf7dc49ac2803512dfa27b2d4a185782db3c2bd7fbed3","sha256:1d44a339e2f2926b720be385c5099e8bac72bbeff8eee16f891600738e38fb81"],"state_sha256":"9bfb97a58668f342c3b60fdc2e8bb7ebd37a8634f9caceb558c3c2b254488164"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M/bd+il6c5Xm2lR7AgbgXlR2E5WuFYQ8dpX1hKuJd7J/fPkGvYvai3DnnhPs4P+PB++zNuX7Kw74fYX/hJvrBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T00:57:23.765821Z","bundle_sha256":"12b06fdb8bcb85b701d7a705c55756b1037c4a3542df32f97cafd3b5f7393433"}}