{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5IZNM53PWOCML6FSK7IYYEBXQJ","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":"23423e3fe5da78b9444d239fc4ba5390614d8177c7b949a72f13dd11d02b95ef","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-05-08T04:07:38Z","title_canon_sha256":"be01d3b89cc2f4a42cc874e1fed039107992279f1db3b32a7248b567ab4e8d1c"},"schema_version":"1.0","source":{"id":"2405.06697","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.06697","created_at":"2026-07-05T08:18:10Z"},{"alias_kind":"arxiv_version","alias_value":"2405.06697v1","created_at":"2026-07-05T08:18:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06697","created_at":"2026-07-05T08:18:10Z"},{"alias_kind":"pith_short_12","alias_value":"5IZNM53PWOCM","created_at":"2026-07-05T08:18:10Z"},{"alias_kind":"pith_short_16","alias_value":"5IZNM53PWOCML6FS","created_at":"2026-07-05T08:18:10Z"},{"alias_kind":"pith_short_8","alias_value":"5IZNM53P","created_at":"2026-07-05T08:18:10Z"}],"graph_snapshots":[{"event_id":"sha256:46f302e121f433e08d465b5bf0daf926c24fc4ef0c37ee23fc3d2937c35fb8b8","target":"graph","created_at":"2026-07-05T08:18:10Z","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/2405.06697/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we explore the potential application of Large Language Models (LLMs) that will automatically model constraints and generate code for dynamic scheduling problems given an existing static model. Static scheduling problems are modelled and coded by optimization experts. These models may be easily obsoleted as the underlying constraints may need to be fine-tuned in order to reflect changes in the scheduling rules. Furthermore, it may be necessary to turn a static model into a dynamic one in order to cope with disturbances in the environment. In this paper, we propose a Retrieval-Aug","authors_text":"Hoong Chuin LAU, Kenji Kah Hoe Leong, Nowshad Shaik, Paul Mingzheng Tang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-05-08T04:07:38Z","title":"Automated Conversion of Static to Dynamic Scheduler via Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06697","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:cda7a50d2fc2bfd605e5715ae4057918c220e01030f2ab0277154b71a3886965","target":"record","created_at":"2026-07-05T08:18:10Z","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":"23423e3fe5da78b9444d239fc4ba5390614d8177c7b949a72f13dd11d02b95ef","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-05-08T04:07:38Z","title_canon_sha256":"be01d3b89cc2f4a42cc874e1fed039107992279f1db3b32a7248b567ab4e8d1c"},"schema_version":"1.0","source":{"id":"2405.06697","kind":"arxiv","version":1}},"canonical_sha256":"ea32d6776fb384c5f8b257d18c1037824889d0ba3e55ae1aa9dee31a155dfd2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea32d6776fb384c5f8b257d18c1037824889d0ba3e55ae1aa9dee31a155dfd2d","first_computed_at":"2026-07-05T08:18:10.472239Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:18:10.472239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MgSH59H5zz46zI0R09r40uLbVdzmfUBTyrSLQuFz5t5SG/xyQ1O0lxMDJkaVPOiy3Mcl6qawX9/WZQuVZPY7BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:18:10.472767Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.06697","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cda7a50d2fc2bfd605e5715ae4057918c220e01030f2ab0277154b71a3886965","sha256:46f302e121f433e08d465b5bf0daf926c24fc4ef0c37ee23fc3d2937c35fb8b8"],"state_sha256":"63535241cfc098171a3903db58ed10f8405c33489e6a61508571d3772239b1a0"}