{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PMZJXJ7JUWEBLTNQKRFEAN4V6G","short_pith_number":"pith:PMZJXJ7J","canonical_record":{"source":{"id":"2607.20474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T13:46:54Z","cross_cats_sorted":[],"title_canon_sha256":"e4817e05725c4a36bf4c3f34387e9bb607be63c5bd99af299c6e187373ee6f2c","abstract_canon_sha256":"d8b32c6fa6a5bdfa2ed8912358a4bc4003f0b04552662801463445158542c4a7"},"schema_version":"1.0"},"canonical_sha256":"7b329ba7e9a58815cdb0544a403795f18f3f54ab7cda7f7a823d6fae25f71ef1","source":{"kind":"arxiv","id":"2607.20474","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20474","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20474v1","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20474","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"pith_short_12","alias_value":"PMZJXJ7JUWEB","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"pith_short_16","alias_value":"PMZJXJ7JUWEBLTNQ","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"pith_short_8","alias_value":"PMZJXJ7J","created_at":"2026-07-24T00:23:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PMZJXJ7JUWEBLTNQKRFEAN4V6G","target":"record","payload":{"canonical_record":{"source":{"id":"2607.20474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T13:46:54Z","cross_cats_sorted":[],"title_canon_sha256":"e4817e05725c4a36bf4c3f34387e9bb607be63c5bd99af299c6e187373ee6f2c","abstract_canon_sha256":"d8b32c6fa6a5bdfa2ed8912358a4bc4003f0b04552662801463445158542c4a7"},"schema_version":"1.0"},"canonical_sha256":"7b329ba7e9a58815cdb0544a403795f18f3f54ab7cda7f7a823d6fae25f71ef1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T00:23:17.662967Z","signature_b64":"6qd2RLntT/lHb+jXs/jg4KDQd5aVttY+SZPdw4fnLqyTUlFmeh9ZhkTTKzgPKXYHLrTLSNTdWW6xzQZd1XBpBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b329ba7e9a58815cdb0544a403795f18f3f54ab7cda7f7a823d6fae25f71ef1","last_reissued_at":"2026-07-24T00:23:17.662074Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T00:23:17.662074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.20474","source_version":1,"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-24T00:23:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7g3VGSCKfChWf5xRC0fiA5c/VKda2pmSmAbnUxT14331YJg8UGRWSqua9uM6cQGW6aKz+0YV/HfckuT4qo4fCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T23:21:45.058404Z"},"content_sha256":"f4db109479410c39b46c8a8beaa4d403ebba1e81c22fb1baf56a7f5eac2ef21c","schema_version":"1.0","event_id":"sha256:f4db109479410c39b46c8a8beaa4d403ebba1e81c22fb1baf56a7f5eac2ef21c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PMZJXJ7JUWEBLTNQKRFEAN4V6G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ghani Raissov, Mohammad Raza, Seckhen Ariel Andrade Cuellar, Sumaya Abdul Rahman","submitted_at":"2026-05-24T13:46:54Z","abstract_excerpt":"Natural language interfaces can greatly benefit the accessibility and usability of optimization modeling, and recent advances in large language models (LLMs) show promise in automatically translating textual problem descriptions into executable solver formulations. However, a key challenge for existing approaches is to ensure that the inferred formulation correctly implements the intended task, even if it may execute without errors. We introduce VeriSimpl, a solver LLM framework for robust natural-language-to-optimization formalization. Our approach is based on the idea of simplification-based"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20474","kind":"arxiv","version":1},"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/2607.20474/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-24T00:23:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+q9ceukVvh6Ec+aGEHpUMI6s4JvreafP039SI1PZWSjpWwwEB0XFRHROiG6v1e6wy7/SwELUjOTViI0t2XMLDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T23:21:45.058908Z"},"content_sha256":"06330652a3d0ef54a74b5c6a1040e26add2c4a9bdef0125a16d6f37ab348ee74","schema_version":"1.0","event_id":"sha256:06330652a3d0ef54a74b5c6a1040e26add2c4a9bdef0125a16d6f37ab348ee74"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G/bundle.json","state_url":"https://pith.science/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G/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-21T23:21:45Z","links":{"resolver":"https://pith.science/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G","bundle":"https://pith.science/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G/bundle.json","state":"https://pith.science/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PMZJXJ7JUWEBLTNQKRFEAN4V6G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PMZJXJ7JUWEBLTNQKRFEAN4V6G","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":"d8b32c6fa6a5bdfa2ed8912358a4bc4003f0b04552662801463445158542c4a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T13:46:54Z","title_canon_sha256":"e4817e05725c4a36bf4c3f34387e9bb607be63c5bd99af299c6e187373ee6f2c"},"schema_version":"1.0","source":{"id":"2607.20474","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.20474","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.20474v1","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.20474","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"pith_short_12","alias_value":"PMZJXJ7JUWEB","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"pith_short_16","alias_value":"PMZJXJ7JUWEBLTNQ","created_at":"2026-07-24T00:23:17Z"},{"alias_kind":"pith_short_8","alias_value":"PMZJXJ7J","created_at":"2026-07-24T00:23:17Z"}],"graph_snapshots":[{"event_id":"sha256:06330652a3d0ef54a74b5c6a1040e26add2c4a9bdef0125a16d6f37ab348ee74","target":"graph","created_at":"2026-07-24T00:23:17Z","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/2607.20474/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Natural language interfaces can greatly benefit the accessibility and usability of optimization modeling, and recent advances in large language models (LLMs) show promise in automatically translating textual problem descriptions into executable solver formulations. However, a key challenge for existing approaches is to ensure that the inferred formulation correctly implements the intended task, even if it may execute without errors. We introduce VeriSimpl, a solver LLM framework for robust natural-language-to-optimization formalization. Our approach is based on the idea of simplification-based","authors_text":"Ghani Raissov, Mohammad Raza, Seckhen Ariel Andrade Cuellar, Sumaya Abdul Rahman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T13:46:54Z","title":"VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.20474","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:f4db109479410c39b46c8a8beaa4d403ebba1e81c22fb1baf56a7f5eac2ef21c","target":"record","created_at":"2026-07-24T00:23:17Z","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":"d8b32c6fa6a5bdfa2ed8912358a4bc4003f0b04552662801463445158542c4a7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T13:46:54Z","title_canon_sha256":"e4817e05725c4a36bf4c3f34387e9bb607be63c5bd99af299c6e187373ee6f2c"},"schema_version":"1.0","source":{"id":"2607.20474","kind":"arxiv","version":1}},"canonical_sha256":"7b329ba7e9a58815cdb0544a403795f18f3f54ab7cda7f7a823d6fae25f71ef1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b329ba7e9a58815cdb0544a403795f18f3f54ab7cda7f7a823d6fae25f71ef1","first_computed_at":"2026-07-24T00:23:17.662074Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T00:23:17.662074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6qd2RLntT/lHb+jXs/jg4KDQd5aVttY+SZPdw4fnLqyTUlFmeh9ZhkTTKzgPKXYHLrTLSNTdWW6xzQZd1XBpBQ==","signature_status":"signed_v1","signed_at":"2026-07-24T00:23:17.662967Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.20474","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f4db109479410c39b46c8a8beaa4d403ebba1e81c22fb1baf56a7f5eac2ef21c","sha256:06330652a3d0ef54a74b5c6a1040e26add2c4a9bdef0125a16d6f37ab348ee74"],"state_sha256":"5e52f53014288e969b4c7d871aec9555501f57c1b0091580348e6f73e0ddd1f7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XHhJKm5x7IZDxc9ZaSU3wQ676TCtvl4elOiAmBxgMrS6i9ck3FBgwkzdgJdCAuzXtHJNX3Zzx5Hl2nBAGJgsAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T23:21:45.064357Z","bundle_sha256":"a96783b6da422611f7c885596369fae1dd89737352bf02fd3c42727c29d583b9"}}