{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:KBLSEEPEAYEVPFPF3W4WL7MVPY","short_pith_number":"pith:KBLSEEPE","canonical_record":{"source":{"id":"2308.01589","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-03T07:48:02Z","cross_cats_sorted":["cs.CL","cs.HC"],"title_canon_sha256":"f78bac14a96a7b1e1fa0186c33105a34a40087e8f552f6462a90aa0f41a162d7","abstract_canon_sha256":"77071af3f11f1ef1a0e2a6b0f82c83efc80b202370eee17c7b4f1ffda9e1f08f"},"schema_version":"1.0"},"canonical_sha256":"50572211e406095795e5ddb965fd957e17462a1b24134603527d2a1feb976ff8","source":{"kind":"arxiv","id":"2308.01589","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.01589","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"arxiv_version","alias_value":"2308.01589v1","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.01589","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"pith_short_12","alias_value":"KBLSEEPEAYEV","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"pith_short_16","alias_value":"KBLSEEPEAYEVPFPF","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"pith_short_8","alias_value":"KBLSEEPE","created_at":"2026-07-05T06:37:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:KBLSEEPEAYEVPFPF3W4WL7MVPY","target":"record","payload":{"canonical_record":{"source":{"id":"2308.01589","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-03T07:48:02Z","cross_cats_sorted":["cs.CL","cs.HC"],"title_canon_sha256":"f78bac14a96a7b1e1fa0186c33105a34a40087e8f552f6462a90aa0f41a162d7","abstract_canon_sha256":"77071af3f11f1ef1a0e2a6b0f82c83efc80b202370eee17c7b4f1ffda9e1f08f"},"schema_version":"1.0"},"canonical_sha256":"50572211e406095795e5ddb965fd957e17462a1b24134603527d2a1feb976ff8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:37:20.492123Z","signature_b64":"i4KRrHJoT0rxDMfTGzATMTlG1t9PojOAK8IzxhUXvLFPuF79xRr8YVM5w3r6YMAW0VDAlZDIoCEmWYHiGMy0Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50572211e406095795e5ddb965fd957e17462a1b24134603527d2a1feb976ff8","last_reissued_at":"2026-07-05T06:37:20.491588Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:37:20.491588Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.01589","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-05T06:37:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1DScGVsERY5/03ZDcbgH4wxX+B5yRwKidmhFuz/yzd59Wv8PVRN5md1TyJvCEICmBJLHSN66Wl8XSNiO9KTpDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:51:13.043109Z"},"content_sha256":"22c18b33684707a71dd1ba23aba60c5f2c5a67ceb842f25e75687be7bdb30473","schema_version":"1.0","event_id":"sha256:22c18b33684707a71dd1ba23aba60c5f2c5a67ceb842f25e75687be7bdb30473"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:KBLSEEPEAYEVPFPF3W4WL7MVPY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Holy Grail 2.0: From Natural Language to Constraint Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.HC"],"primary_cat":"cs.AI","authors_text":"Dimos Tsouros, H\\'el\\`ene Verhaeghe, Serdar Kad{\\i}o\\u{g}lu, Tias Guns","submitted_at":"2023-08-03T07:48:02Z","abstract_excerpt":"Twenty-seven years ago, E. Freuder highlighted that \"Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it\". Nowadays, CP users have great modeling tools available (like Minizinc and CPMpy), allowing them to formulate the problem and then let a solver do the rest of the job, getting closer to the stated goal. However, this still requires the CP user to know the formalism and respect it. Another significant challenge lies in the expertise required to effectively model co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.01589","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/2308.01589/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-05T06:37:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ICr3+TLY++SMNLBxyBCfOr88ZqvTEUd6Eg1csDs2tTCzivFHwgqXRsFvTYA2RDgjFC+cWTAJiaC7tW1m9Z3gDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:51:13.043640Z"},"content_sha256":"846287fe3fcfb81a9e9ddfbc1c3410e409c28a8d1dff6f77010165e25a7ea1f4","schema_version":"1.0","event_id":"sha256:846287fe3fcfb81a9e9ddfbc1c3410e409c28a8d1dff6f77010165e25a7ea1f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY/bundle.json","state_url":"https://pith.science/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY/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-05T14:51:13Z","links":{"resolver":"https://pith.science/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY","bundle":"https://pith.science/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY/bundle.json","state":"https://pith.science/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KBLSEEPEAYEVPFPF3W4WL7MVPY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KBLSEEPEAYEVPFPF3W4WL7MVPY","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":"77071af3f11f1ef1a0e2a6b0f82c83efc80b202370eee17c7b4f1ffda9e1f08f","cross_cats_sorted":["cs.CL","cs.HC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-03T07:48:02Z","title_canon_sha256":"f78bac14a96a7b1e1fa0186c33105a34a40087e8f552f6462a90aa0f41a162d7"},"schema_version":"1.0","source":{"id":"2308.01589","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.01589","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"arxiv_version","alias_value":"2308.01589v1","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.01589","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"pith_short_12","alias_value":"KBLSEEPEAYEV","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"pith_short_16","alias_value":"KBLSEEPEAYEVPFPF","created_at":"2026-07-05T06:37:20Z"},{"alias_kind":"pith_short_8","alias_value":"KBLSEEPE","created_at":"2026-07-05T06:37:20Z"}],"graph_snapshots":[{"event_id":"sha256:846287fe3fcfb81a9e9ddfbc1c3410e409c28a8d1dff6f77010165e25a7ea1f4","target":"graph","created_at":"2026-07-05T06:37:20Z","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/2308.01589/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Twenty-seven years ago, E. Freuder highlighted that \"Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it\". Nowadays, CP users have great modeling tools available (like Minizinc and CPMpy), allowing them to formulate the problem and then let a solver do the rest of the job, getting closer to the stated goal. However, this still requires the CP user to know the formalism and respect it. Another significant challenge lies in the expertise required to effectively model co","authors_text":"Dimos Tsouros, H\\'el\\`ene Verhaeghe, Serdar Kad{\\i}o\\u{g}lu, Tias Guns","cross_cats":["cs.CL","cs.HC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-03T07:48:02Z","title":"Holy Grail 2.0: From Natural Language to Constraint Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.01589","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:22c18b33684707a71dd1ba23aba60c5f2c5a67ceb842f25e75687be7bdb30473","target":"record","created_at":"2026-07-05T06:37:20Z","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":"77071af3f11f1ef1a0e2a6b0f82c83efc80b202370eee17c7b4f1ffda9e1f08f","cross_cats_sorted":["cs.CL","cs.HC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-03T07:48:02Z","title_canon_sha256":"f78bac14a96a7b1e1fa0186c33105a34a40087e8f552f6462a90aa0f41a162d7"},"schema_version":"1.0","source":{"id":"2308.01589","kind":"arxiv","version":1}},"canonical_sha256":"50572211e406095795e5ddb965fd957e17462a1b24134603527d2a1feb976ff8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50572211e406095795e5ddb965fd957e17462a1b24134603527d2a1feb976ff8","first_computed_at":"2026-07-05T06:37:20.491588Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:37:20.491588Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i4KRrHJoT0rxDMfTGzATMTlG1t9PojOAK8IzxhUXvLFPuF79xRr8YVM5w3r6YMAW0VDAlZDIoCEmWYHiGMy0Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:37:20.492123Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.01589","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22c18b33684707a71dd1ba23aba60c5f2c5a67ceb842f25e75687be7bdb30473","sha256:846287fe3fcfb81a9e9ddfbc1c3410e409c28a8d1dff6f77010165e25a7ea1f4"],"state_sha256":"b4a8f7667a7f9c9b1cd129bde5016af7619a02e14a2a412753fc58e21e66f419"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RlXm867mZNDD19kmeMqX7ixhcKmf13Nv+y9kCqXk8LO39SwUExQinPSOy+CBaWG06fbhTDIa88idWhS5WufHBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T14:51:13.047053Z","bundle_sha256":"2dd1e756f56af63410f564adf2d327288ea920ded9a0ef7a97a6a4f4be11a7de"}}