{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HPO6HSV7TSNDDD5VEGXZKBGYKO","short_pith_number":"pith:HPO6HSV7","canonical_record":{"source":{"id":"2309.13218","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-09-22T23:45:21Z","cross_cats_sorted":[],"title_canon_sha256":"aad3f7c433233a8655a673e609f3c82eb68c6ef1bd24b42b4e8a84b8bbe15998","abstract_canon_sha256":"7dd2396f30b4d3121bb12824db69c4a906b4e79dab9f18784ef162bde57ed4e5"},"schema_version":"1.0"},"canonical_sha256":"3bdde3cabf9c9a318fb521af9504d853994892e60c7ecbc26fb3f4a1bd70bdbb","source":{"kind":"arxiv","id":"2309.13218","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.13218","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"arxiv_version","alias_value":"2309.13218v5","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.13218","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"pith_short_12","alias_value":"HPO6HSV7TSND","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"pith_short_16","alias_value":"HPO6HSV7TSNDDD5V","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"pith_short_8","alias_value":"HPO6HSV7","created_at":"2026-07-05T10:52:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HPO6HSV7TSNDDD5VEGXZKBGYKO","target":"record","payload":{"canonical_record":{"source":{"id":"2309.13218","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-09-22T23:45:21Z","cross_cats_sorted":[],"title_canon_sha256":"aad3f7c433233a8655a673e609f3c82eb68c6ef1bd24b42b4e8a84b8bbe15998","abstract_canon_sha256":"7dd2396f30b4d3121bb12824db69c4a906b4e79dab9f18784ef162bde57ed4e5"},"schema_version":"1.0"},"canonical_sha256":"3bdde3cabf9c9a318fb521af9504d853994892e60c7ecbc26fb3f4a1bd70bdbb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:09.340575Z","signature_b64":"u8GqzFDzOeksFjUS/iRnH/gLLQwLxSvympIjr5IJ/j6U426FT1Xjb4yLnSt8+0fjLAT7d4B9ibFfjF5EonwkCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3bdde3cabf9c9a318fb521af9504d853994892e60c7ecbc26fb3f4a1bd70bdbb","last_reissued_at":"2026-07-05T10:52:09.340071Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:09.340071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.13218","source_version":5,"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:52:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bhZ65ir0mqpGhI0UWEYi1bZ1copduxQQ4faIs1qvSOhe1d+O5j3ML5vABQpuoe0hq1IDpL422AJEUmzbF6UGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T07:34:54.469803Z"},"content_sha256":"56947e98b2eff9e2678ec36781d81857e3a1ceb8f5e1347c32fe31af881a9b93","schema_version":"1.0","event_id":"sha256:56947e98b2eff9e2678ec36781d81857e3a1ceb8f5e1347c32fe31af881a9b93"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HPO6HSV7TSNDDD5VEGXZKBGYKO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Language Models for Business Optimisation with a Real World Case Study in Production Scheduling","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Damminda Alahakoon, Pivithuru Thejan Amarasinghe, Su Nguyen, Yuan Sun","submitted_at":"2023-09-22T23:45:21Z","abstract_excerpt":"Business optimisation has been used extensively to determine optimal solutions for challenging business operations. Problem formulation is an important part of business optimisation as it influences both the validity of solutions and the efficiency of the optimisation process. While different optimisation modelling languages have been developed, problem formulation is still not a trivial task and usually requires optimisation expertise and problem-domain knowledge. Recently, Large Language Models (LLMs) have demonstrated outstanding performance across different language-related tasks. Since pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.13218","kind":"arxiv","version":5},"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/2309.13218/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:52:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EqzDlAn8gDDxtSW+rIIVETcnQC5yeNbbJJEm3QVreidlBO8Z7bYFhivUgj1qjnj21ov0fGQA6a3jkjjv9jcVBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T07:34:54.470837Z"},"content_sha256":"2c96724bd0cedd1cdd6173aaa940a4934ce622538b1b5d9351351957febbf421","schema_version":"1.0","event_id":"sha256:2c96724bd0cedd1cdd6173aaa940a4934ce622538b1b5d9351351957febbf421"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO/bundle.json","state_url":"https://pith.science/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO/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-18T07:34:54Z","links":{"resolver":"https://pith.science/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO","bundle":"https://pith.science/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO/bundle.json","state":"https://pith.science/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HPO6HSV7TSNDDD5VEGXZKBGYKO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HPO6HSV7TSNDDD5VEGXZKBGYKO","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":"7dd2396f30b4d3121bb12824db69c4a906b4e79dab9f18784ef162bde57ed4e5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-09-22T23:45:21Z","title_canon_sha256":"aad3f7c433233a8655a673e609f3c82eb68c6ef1bd24b42b4e8a84b8bbe15998"},"schema_version":"1.0","source":{"id":"2309.13218","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.13218","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"arxiv_version","alias_value":"2309.13218v5","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.13218","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"pith_short_12","alias_value":"HPO6HSV7TSND","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"pith_short_16","alias_value":"HPO6HSV7TSNDDD5V","created_at":"2026-07-05T10:52:09Z"},{"alias_kind":"pith_short_8","alias_value":"HPO6HSV7","created_at":"2026-07-05T10:52:09Z"}],"graph_snapshots":[{"event_id":"sha256:2c96724bd0cedd1cdd6173aaa940a4934ce622538b1b5d9351351957febbf421","target":"graph","created_at":"2026-07-05T10:52:09Z","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/2309.13218/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Business optimisation has been used extensively to determine optimal solutions for challenging business operations. Problem formulation is an important part of business optimisation as it influences both the validity of solutions and the efficiency of the optimisation process. While different optimisation modelling languages have been developed, problem formulation is still not a trivial task and usually requires optimisation expertise and problem-domain knowledge. Recently, Large Language Models (LLMs) have demonstrated outstanding performance across different language-related tasks. Since pr","authors_text":"Damminda Alahakoon, Pivithuru Thejan Amarasinghe, Su Nguyen, Yuan Sun","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-09-22T23:45:21Z","title":"Language Models for Business Optimisation with a Real World Case Study in Production Scheduling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.13218","kind":"arxiv","version":5},"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:56947e98b2eff9e2678ec36781d81857e3a1ceb8f5e1347c32fe31af881a9b93","target":"record","created_at":"2026-07-05T10:52:09Z","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":"7dd2396f30b4d3121bb12824db69c4a906b4e79dab9f18784ef162bde57ed4e5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-09-22T23:45:21Z","title_canon_sha256":"aad3f7c433233a8655a673e609f3c82eb68c6ef1bd24b42b4e8a84b8bbe15998"},"schema_version":"1.0","source":{"id":"2309.13218","kind":"arxiv","version":5}},"canonical_sha256":"3bdde3cabf9c9a318fb521af9504d853994892e60c7ecbc26fb3f4a1bd70bdbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3bdde3cabf9c9a318fb521af9504d853994892e60c7ecbc26fb3f4a1bd70bdbb","first_computed_at":"2026-07-05T10:52:09.340071Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:52:09.340071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u8GqzFDzOeksFjUS/iRnH/gLLQwLxSvympIjr5IJ/j6U426FT1Xjb4yLnSt8+0fjLAT7d4B9ibFfjF5EonwkCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:52:09.340575Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.13218","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56947e98b2eff9e2678ec36781d81857e3a1ceb8f5e1347c32fe31af881a9b93","sha256:2c96724bd0cedd1cdd6173aaa940a4934ce622538b1b5d9351351957febbf421"],"state_sha256":"3581327caef22c2a9248e9eda32f358c6f987c1e062da659b8f2d6ea57bf6751"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FlwPrVa32qUr6bbOGcpwiK+264gHIAQXKMgffi5izhvHhPcuyZiKyelESjVoS73smYMQ5vqPrBVhsm29a42VCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T07:34:54.477808Z","bundle_sha256":"825cc6e7d5767b974821a186982591372fc80500e286aa24bdbf47bfcfa6b40b"}}