{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:42KGE4QMWXT3ILBCMDTBVMYIRK","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":"6a7d98235896137c1f39750b14043276f93ceaf2fc68d1ae064b19e559914de1","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-03-30T06:10:00Z","title_canon_sha256":"bbef596e0e58f50a2f4f8e1e2ad2e986704c5e80128b2a0f0c7667a3ebf0c238"},"schema_version":"1.0","source":{"id":"2304.03287","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.03287","created_at":"2026-07-05T05:58:54Z"},{"alias_kind":"arxiv_version","alias_value":"2304.03287v1","created_at":"2026-07-05T05:58:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.03287","created_at":"2026-07-05T05:58:54Z"},{"alias_kind":"pith_short_12","alias_value":"42KGE4QMWXT3","created_at":"2026-07-05T05:58:54Z"},{"alias_kind":"pith_short_16","alias_value":"42KGE4QMWXT3ILBC","created_at":"2026-07-05T05:58:54Z"},{"alias_kind":"pith_short_8","alias_value":"42KGE4QM","created_at":"2026-07-05T05:58:54Z"}],"graph_snapshots":[{"event_id":"sha256:95a07c44e4fe8efdb1d0f4a24c3f9489f9ea2753118390432c37dd67626eb31e","target":"graph","created_at":"2026-07-05T05:58:54Z","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/2304.03287/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Several decision problems that are encountered in various business domains can be modeled as mathematical programs, i.e. optimization problems. The process of conducting such modeling often requires the involvement of experts trained in operations research and advanced algorithms. Surprisingly, despite the significant advances in the methods for program and code synthesis, AutoML, learning to optimize etc., there has been little or no attention paid to automating the task of synthesizing mathematical programs. We imagine a scenario where the specifications for modeling, i.e. the objective and ","authors_text":"Ganesh Prasath, Shirish Karande","cross_cats":["cs.CL","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-03-30T06:10:00Z","title":"Synthesis of Mathematical programs from Natural Language Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.03287","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:6a8aeb4ef80be2d54afd4bcaf4d077773ec8c4b7b094c4d0936f4f25b0308b95","target":"record","created_at":"2026-07-05T05:58:54Z","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":"6a7d98235896137c1f39750b14043276f93ceaf2fc68d1ae064b19e559914de1","cross_cats_sorted":["cs.CL","cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2023-03-30T06:10:00Z","title_canon_sha256":"bbef596e0e58f50a2f4f8e1e2ad2e986704c5e80128b2a0f0c7667a3ebf0c238"},"schema_version":"1.0","source":{"id":"2304.03287","kind":"arxiv","version":1}},"canonical_sha256":"e69462720cb5e7b42c2260e61ab3088a9f17b632df8eec90c7b5e86d526c6a0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e69462720cb5e7b42c2260e61ab3088a9f17b632df8eec90c7b5e86d526c6a0a","first_computed_at":"2026-07-05T05:58:54.279742Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:58:54.279742Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pA+miPRK0hvLYSLoY5WQW/QwLcL/VDQaKfhJv2ky82VKpdtntiJbgspHpSgewYve0WsNPnoR4JxUToR0wmKfCw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:58:54.280167Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.03287","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a8aeb4ef80be2d54afd4bcaf4d077773ec8c4b7b094c4d0936f4f25b0308b95","sha256:95a07c44e4fe8efdb1d0f4a24c3f9489f9ea2753118390432c37dd67626eb31e"],"state_sha256":"36d4b24efaf1012b6f626f23269c2888ec5aa5e7941045ac6a3df08ca9e9e0f9"}