{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CDEASGTEKU74KUPUTI6JI742AD","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":"ee121b84693d0d68c1690b4e86a97ac179527b254b3b4754b5aab3e7b241f6dc","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-02T16:36:57Z","title_canon_sha256":"df92eaa96fc5bcdd8ca7f16cc4893c7345bec0c813b0d2fb8fe230bdfaa7a35a"},"schema_version":"1.0","source":{"id":"2505.01485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.01485","created_at":"2026-07-05T10:57:58Z"},{"alias_kind":"arxiv_version","alias_value":"2505.01485v1","created_at":"2026-07-05T10:57:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.01485","created_at":"2026-07-05T10:57:58Z"},{"alias_kind":"pith_short_12","alias_value":"CDEASGTEKU74","created_at":"2026-07-05T10:57:58Z"},{"alias_kind":"pith_short_16","alias_value":"CDEASGTEKU74KUPU","created_at":"2026-07-05T10:57:58Z"},{"alias_kind":"pith_short_8","alias_value":"CDEASGTE","created_at":"2026-07-05T10:57:58Z"}],"graph_snapshots":[{"event_id":"sha256:3b85ba1f83a5da6f690a962deedd873b54f497868bcb867bdc43474f2c5f941c","target":"graph","created_at":"2026-07-05T10:57:58Z","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/2505.01485/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Linear Programming (LP) problems aim to find the optimal solution to an objective under constraints. These problems typically require domain knowledge, mathematical skills, and programming ability, presenting significant challenges for non-experts. This study explores the efficiency of Large Language Models (LLMs) in generating solver-specific LP code. We propose CHORUS, a retrieval-augmented generation (RAG) framework for synthesizing Gurobi-based LP code from natural language problem statements. CHORUS incorporates a hierarchical tree-like chunking strategy for theoretical contents and gener","authors_text":"Salimur Choudhury, Tasnim Ahmed","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-02T16:36:57Z","title":"CHORUS: Zero-shot Hierarchical Retrieval and Orchestration for Generating Linear Programming Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.01485","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:440991ba7e10e53bd397324c2f0251fbe1abfebb35638cd701411085ec5f6740","target":"record","created_at":"2026-07-05T10:57:58Z","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":"ee121b84693d0d68c1690b4e86a97ac179527b254b3b4754b5aab3e7b241f6dc","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-02T16:36:57Z","title_canon_sha256":"df92eaa96fc5bcdd8ca7f16cc4893c7345bec0c813b0d2fb8fe230bdfaa7a35a"},"schema_version":"1.0","source":{"id":"2505.01485","kind":"arxiv","version":1}},"canonical_sha256":"10c8091a64553fc551f49a3c947f9a00e2cbfa994610af1972a1e5c6b8213086","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10c8091a64553fc551f49a3c947f9a00e2cbfa994610af1972a1e5c6b8213086","first_computed_at":"2026-07-05T10:57:58.771640Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:57:58.771640Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SUUFwPBw2BCb2fGb3V76nVyTVpVLojfuiaH3Ox5ZhQQx3kzEa5FqUrzknuzaYlYr6UO8uQm58sY24PDB/W+sDA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:57:58.772153Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.01485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:440991ba7e10e53bd397324c2f0251fbe1abfebb35638cd701411085ec5f6740","sha256:3b85ba1f83a5da6f690a962deedd873b54f497868bcb867bdc43474f2c5f941c"],"state_sha256":"921d7f4a849921e9b75413e627c2843fa527c33f1856f9bdf2c61c6f847d0f8c"}