{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:EQFMMBWGUG76KHVTAKYIY57PVZ","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":"09532a7741249bb4f72422fa7b15c332db9f659c5aea9e00c3df56a7b2ba59d4","cross_cats_sorted":["cs.CL","cs.LG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2023-08-23T04:34:05Z","title_canon_sha256":"9768b1c0db925be7bd362e152b25c9ec6248f85f8ced03ea4b0f0e0a72ba8e15"},"schema_version":"1.0","source":{"id":"2308.12923","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12923","created_at":"2026-07-05T06:44:23Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12923v1","created_at":"2026-07-05T06:44:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12923","created_at":"2026-07-05T06:44:23Z"},{"alias_kind":"pith_short_12","alias_value":"EQFMMBWGUG76","created_at":"2026-07-05T06:44:23Z"},{"alias_kind":"pith_short_16","alias_value":"EQFMMBWGUG76KHVT","created_at":"2026-07-05T06:44:23Z"},{"alias_kind":"pith_short_8","alias_value":"EQFMMBWG","created_at":"2026-07-05T06:44:23Z"}],"graph_snapshots":[{"event_id":"sha256:e28962586252e27cb72b7f2313790ffe096c798a780b09cf4fd8a303e263f9f5","target":"graph","created_at":"2026-07-05T06:44:23Z","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/2308.12923/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decision-making problems can be represented as mathematical optimization models, finding wide applications in fields such as economics, engineering and manufacturing, transportation, and health care. Optimization models are mathematical abstractions of the problem of making the best decision while satisfying a set of requirements or constraints. One of the primary barriers to deploying these models in practice is the challenge of helping practitioners understand and interpret such models, particularly when they are infeasible, meaning no decision satisfies all the constraints. Existing methods","authors_text":"Can Li, Gonzalo E. Constante-Flores, Hao Chen","cross_cats":["cs.CL","cs.LG","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2023-08-23T04:34:05Z","title":"Diagnosing Infeasible Optimization Problems Using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12923","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:129e85222bee863e6fe54244e9dc6d407fbd037b91250825c150cce877145c6f","target":"record","created_at":"2026-07-05T06:44:23Z","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":"09532a7741249bb4f72422fa7b15c332db9f659c5aea9e00c3df56a7b2ba59d4","cross_cats_sorted":["cs.CL","cs.LG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2023-08-23T04:34:05Z","title_canon_sha256":"9768b1c0db925be7bd362e152b25c9ec6248f85f8ced03ea4b0f0e0a72ba8e15"},"schema_version":"1.0","source":{"id":"2308.12923","kind":"arxiv","version":1}},"canonical_sha256":"240ac606c6a1bfe51eb302b08c77efae703046f0c8d99ac513fcf8e36e0c12c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"240ac606c6a1bfe51eb302b08c77efae703046f0c8d99ac513fcf8e36e0c12c4","first_computed_at":"2026-07-05T06:44:23.748375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:44:23.748375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aSHVVI9nIhtCtVW3x38oOsdF+SqgefPZ5upaVjT6QPMtlZaCj1SIpbIXr0eji3mkN3kutby23GOP/tM8UGF0DA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:44:23.748882Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.12923","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:129e85222bee863e6fe54244e9dc6d407fbd037b91250825c150cce877145c6f","sha256:e28962586252e27cb72b7f2313790ffe096c798a780b09cf4fd8a303e263f9f5"],"state_sha256":"019b554f49a49a95c7adbd0a1b5fe80ccee1281ea3053346ec2ffda41a2c1aa2"}