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