{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:RF27AR6TMTB5RG2RAASYBCO46U","short_pith_number":"pith:RF27AR6T","canonical_record":{"source":{"id":"2303.08233","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-03-14T20:59:04Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5f15b69317d412ac24b8f35cccba9dd6f284e2f3032c04bed759ac41de36863f","abstract_canon_sha256":"c91c6371009416f3683083a09cda246df038a380c4a4dd98a6f14d7699af037e"},"schema_version":"1.0"},"canonical_sha256":"8975f047d364c3d89b5100258089dcf531cf0d6febe02d30ba7f91239d76e423","source":{"kind":"arxiv","id":"2303.08233","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.08233","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"arxiv_version","alias_value":"2303.08233v2","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.08233","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_12","alias_value":"RF27AR6TMTB5","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_16","alias_value":"RF27AR6TMTB5RG2R","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_8","alias_value":"RF27AR6T","created_at":"2026-07-05T05:54:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:RF27AR6TMTB5RG2RAASYBCO46U","target":"record","payload":{"canonical_record":{"source":{"id":"2303.08233","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-03-14T20:59:04Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"5f15b69317d412ac24b8f35cccba9dd6f284e2f3032c04bed759ac41de36863f","abstract_canon_sha256":"c91c6371009416f3683083a09cda246df038a380c4a4dd98a6f14d7699af037e"},"schema_version":"1.0"},"canonical_sha256":"8975f047d364c3d89b5100258089dcf531cf0d6febe02d30ba7f91239d76e423","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:54:36.599325Z","signature_b64":"yRRm/YlsycBAo56S4gsgSroRfutLRdzyE59w0HgWh6aeqoSpxKyT52T3cC6nTA9N9j4b0BT5LOc+ns775JLbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8975f047d364c3d89b5100258089dcf531cf0d6febe02d30ba7f91239d76e423","last_reissued_at":"2026-07-05T05:54:36.598736Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:54:36.598736Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.08233","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:54:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rdiGI3fDHZS+pRJUHgQw/CNSktt7+hfqwut8cBxE/kn4V98B9zDQu/eDpYDwK9PlDDYQrUbPvVWdeTr4lzvLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:39:03.381339Z"},"content_sha256":"868b3dbdbbcbd5fcde55238452134140d0d5a0f9c205e206183dcc5f4c24937e","schema_version":"1.0","event_id":"sha256:868b3dbdbbcbd5fcde55238452134140d0d5a0f9c205e206183dcc5f4c24937e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:RF27AR6TMTB5RG2RAASYBCO46U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Amin Banitalebi-Dehkordi, Bissan Ghaddar, Giuseppe Carenini, Haley Li, Mahdi Mostajabdaveh, Raymond Li, Rindranirina Ramamonjison, Shiqi He, Timothy T. Yu, Yong Zhang, Zirui Zhou","submitted_at":"2023-03-14T20:59:04Z","abstract_excerpt":"The Natural Language for Optimization (NL4Opt) Competition was created to investigate methods of extracting the meaning and formulation of an optimization problem based on its text description. Specifically, the goal of the competition is to increase the accessibility and usability of optimization solvers by allowing non-experts to interface with them using natural language. We separate this challenging goal into two sub-tasks: (1) recognize and label the semantic entities that correspond to the components of the optimization problem; (2) generate a meaning representation (i.e., a logical form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.08233","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2303.08233/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:54:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zf30LiS49zdbtAEAZ8le07CgjlPMvWG9DlIEOxY2mtfeQzw8q37pbV4bTae+vvM5D7EPBOACNjmy3P5weacADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:39:03.381872Z"},"content_sha256":"016034e746b1b2d765a2d06ddee25fc712a6f756a8901c7bd3bb13f043e3c7ab","schema_version":"1.0","event_id":"sha256:016034e746b1b2d765a2d06ddee25fc712a6f756a8901c7bd3bb13f043e3c7ab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RF27AR6TMTB5RG2RAASYBCO46U/bundle.json","state_url":"https://pith.science/pith/RF27AR6TMTB5RG2RAASYBCO46U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RF27AR6TMTB5RG2RAASYBCO46U/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T11:39:03Z","links":{"resolver":"https://pith.science/pith/RF27AR6TMTB5RG2RAASYBCO46U","bundle":"https://pith.science/pith/RF27AR6TMTB5RG2RAASYBCO46U/bundle.json","state":"https://pith.science/pith/RF27AR6TMTB5RG2RAASYBCO46U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RF27AR6TMTB5RG2RAASYBCO46U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:RF27AR6TMTB5RG2RAASYBCO46U","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":"c91c6371009416f3683083a09cda246df038a380c4a4dd98a6f14d7699af037e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-03-14T20:59:04Z","title_canon_sha256":"5f15b69317d412ac24b8f35cccba9dd6f284e2f3032c04bed759ac41de36863f"},"schema_version":"1.0","source":{"id":"2303.08233","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.08233","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"arxiv_version","alias_value":"2303.08233v2","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.08233","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_12","alias_value":"RF27AR6TMTB5","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_16","alias_value":"RF27AR6TMTB5RG2R","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_8","alias_value":"RF27AR6T","created_at":"2026-07-05T05:54:36Z"}],"graph_snapshots":[{"event_id":"sha256:016034e746b1b2d765a2d06ddee25fc712a6f756a8901c7bd3bb13f043e3c7ab","target":"graph","created_at":"2026-07-05T05:54:36Z","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/2303.08233/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Natural Language for Optimization (NL4Opt) Competition was created to investigate methods of extracting the meaning and formulation of an optimization problem based on its text description. Specifically, the goal of the competition is to increase the accessibility and usability of optimization solvers by allowing non-experts to interface with them using natural language. We separate this challenging goal into two sub-tasks: (1) recognize and label the semantic entities that correspond to the components of the optimization problem; (2) generate a meaning representation (i.e., a logical form","authors_text":"Amin Banitalebi-Dehkordi, Bissan Ghaddar, Giuseppe Carenini, Haley Li, Mahdi Mostajabdaveh, Raymond Li, Rindranirina Ramamonjison, Shiqi He, Timothy T. Yu, Yong Zhang, Zirui Zhou","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-03-14T20:59:04Z","title":"NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.08233","kind":"arxiv","version":2},"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:868b3dbdbbcbd5fcde55238452134140d0d5a0f9c205e206183dcc5f4c24937e","target":"record","created_at":"2026-07-05T05:54:36Z","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":"c91c6371009416f3683083a09cda246df038a380c4a4dd98a6f14d7699af037e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-03-14T20:59:04Z","title_canon_sha256":"5f15b69317d412ac24b8f35cccba9dd6f284e2f3032c04bed759ac41de36863f"},"schema_version":"1.0","source":{"id":"2303.08233","kind":"arxiv","version":2}},"canonical_sha256":"8975f047d364c3d89b5100258089dcf531cf0d6febe02d30ba7f91239d76e423","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8975f047d364c3d89b5100258089dcf531cf0d6febe02d30ba7f91239d76e423","first_computed_at":"2026-07-05T05:54:36.598736Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:54:36.598736Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yRRm/YlsycBAo56S4gsgSroRfutLRdzyE59w0HgWh6aeqoSpxKyT52T3cC6nTA9N9j4b0BT5LOc+ns775JLbBw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:54:36.599325Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.08233","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:868b3dbdbbcbd5fcde55238452134140d0d5a0f9c205e206183dcc5f4c24937e","sha256:016034e746b1b2d765a2d06ddee25fc712a6f756a8901c7bd3bb13f043e3c7ab"],"state_sha256":"e13a9ac6e14288c092afa95c2e367359656f84ec2ac4a6bd279b25d4cf3b55e9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2cZ8URQ5cn+BZ5xr5pavbVzv+pHyCaKh7kZD7bdM4xFh/1qMahkhP2NGcCy8Vh5x9OMjfAEitQaZmQw0CK+kCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T11:39:03.385471Z","bundle_sha256":"4f41c8e01d59ae95d26e9d9be63685b5f9916aea3fe13236890cabcd64390565"}}