{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:O5HR7M75MQ7EPCCNN6YTOD24ZY","short_pith_number":"pith:O5HR7M75","canonical_record":{"source":{"id":"2411.17404","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-26T13:05:53Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"fd76b2060be13a267af498f1fce935a5db96d65f9ca470eed85b256ce5c5964a","abstract_canon_sha256":"03ebda399a2f55c98afeabd70567fe41e1a8d1710acec0b11ea56dcd72c7a226"},"schema_version":"1.0"},"canonical_sha256":"774f1fb3fd643e47884d6fb1370f5cce06803fc508df4a96722244eb7134d4af","source":{"kind":"arxiv","id":"2411.17404","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17404","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17404v4","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17404","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"O5HR7M75MQ7E","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_16","alias_value":"O5HR7M75MQ7EPCCN","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_8","alias_value":"O5HR7M75","created_at":"2026-07-05T11:09:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:O5HR7M75MQ7EPCCNN6YTOD24ZY","target":"record","payload":{"canonical_record":{"source":{"id":"2411.17404","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-26T13:05:53Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"fd76b2060be13a267af498f1fce935a5db96d65f9ca470eed85b256ce5c5964a","abstract_canon_sha256":"03ebda399a2f55c98afeabd70567fe41e1a8d1710acec0b11ea56dcd72c7a226"},"schema_version":"1.0"},"canonical_sha256":"774f1fb3fd643e47884d6fb1370f5cce06803fc508df4a96722244eb7134d4af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:09:44.186712Z","signature_b64":"rgCa3v6csHapdEHUgU+hmkBB2dg9kqwkk8ym1eFILqq4OCc5ieMxltQLq4ETCIeiKCLvE5kodRp4AjBnihSKAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"774f1fb3fd643e47884d6fb1370f5cce06803fc508df4a96722244eb7134d4af","last_reissued_at":"2026-07-05T11:09:44.186217Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:09:44.186217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.17404","source_version":4,"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-05T11:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VEw2tGh1rXzbQ24Iv0ejvGMQTX7NzI/qZ0YE3U28jo6WNLeo1A3vIoYbEcGkKZ4oPgAGGrg3JO51ZO6w0MG1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T18:17:38.357878Z"},"content_sha256":"c28174a1852995822d83326cd121adb2b1863de12ee731b21022d4e1bb760218","schema_version":"1.0","event_id":"sha256:c28174a1852995822d83326cd121adb2b1863de12ee731b21022d4e1bb760218"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:O5HR7M75MQ7EPCCNN6YTOD24ZY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Fangzhou Zhu, Hailei Gong, Han Wu, Ruifeng She, Tao Zhong, Teng Wang, Wei Shi, Wing-Yin Yu, Xiongwei Han, Zehua Liu, Zhenqi He","submitted_at":"2024-11-26T13:05:53Z","abstract_excerpt":"LLMs exhibit advanced reasoning capabilities, offering the potential to transform natural language questions into mathematical models. However, existing open-source datasets in operations research domain lack detailed annotations of the modeling process, such as variable definitions, focusing solely on objective values, which hinders reinforcement learning applications. To address this, we release the StructuredOR dataset, annotated with comprehensive labels that capture the complete mathematical modeling process. We further propose BPP-Search, an algorithm that integrates reinforcement learni"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17404","kind":"arxiv","version":4},"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/2411.17404/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-05T11:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Cs4OAU/BX+p6sGuKapY8IT3a/76FKVoRLhl2WWidVz4MpjoGV/YKuMHSGD3eIEPuKLjP1ItmWZSW7iYDBiFzDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T18:17:38.358399Z"},"content_sha256":"5b7cf727244740cfe566f08a4f323091556e28f7da02f240b90a14a967642952","schema_version":"1.0","event_id":"sha256:5b7cf727244740cfe566f08a4f323091556e28f7da02f240b90a14a967642952"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY/bundle.json","state_url":"https://pith.science/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY/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-10T18:17:38Z","links":{"resolver":"https://pith.science/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY","bundle":"https://pith.science/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY/bundle.json","state":"https://pith.science/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O5HR7M75MQ7EPCCNN6YTOD24ZY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:O5HR7M75MQ7EPCCNN6YTOD24ZY","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":"03ebda399a2f55c98afeabd70567fe41e1a8d1710acec0b11ea56dcd72c7a226","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-26T13:05:53Z","title_canon_sha256":"fd76b2060be13a267af498f1fce935a5db96d65f9ca470eed85b256ce5c5964a"},"schema_version":"1.0","source":{"id":"2411.17404","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17404","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17404v4","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17404","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"O5HR7M75MQ7E","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_16","alias_value":"O5HR7M75MQ7EPCCN","created_at":"2026-07-05T11:09:44Z"},{"alias_kind":"pith_short_8","alias_value":"O5HR7M75","created_at":"2026-07-05T11:09:44Z"}],"graph_snapshots":[{"event_id":"sha256:5b7cf727244740cfe566f08a4f323091556e28f7da02f240b90a14a967642952","target":"graph","created_at":"2026-07-05T11:09:44Z","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/2411.17404/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"LLMs exhibit advanced reasoning capabilities, offering the potential to transform natural language questions into mathematical models. However, existing open-source datasets in operations research domain lack detailed annotations of the modeling process, such as variable definitions, focusing solely on objective values, which hinders reinforcement learning applications. To address this, we release the StructuredOR dataset, annotated with comprehensive labels that capture the complete mathematical modeling process. We further propose BPP-Search, an algorithm that integrates reinforcement learni","authors_text":"Fangzhou Zhu, Hailei Gong, Han Wu, Ruifeng She, Tao Zhong, Teng Wang, Wei Shi, Wing-Yin Yu, Xiongwei Han, Zehua Liu, Zhenqi He","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-26T13:05:53Z","title":"BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17404","kind":"arxiv","version":4},"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:c28174a1852995822d83326cd121adb2b1863de12ee731b21022d4e1bb760218","target":"record","created_at":"2026-07-05T11:09:44Z","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":"03ebda399a2f55c98afeabd70567fe41e1a8d1710acec0b11ea56dcd72c7a226","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-11-26T13:05:53Z","title_canon_sha256":"fd76b2060be13a267af498f1fce935a5db96d65f9ca470eed85b256ce5c5964a"},"schema_version":"1.0","source":{"id":"2411.17404","kind":"arxiv","version":4}},"canonical_sha256":"774f1fb3fd643e47884d6fb1370f5cce06803fc508df4a96722244eb7134d4af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"774f1fb3fd643e47884d6fb1370f5cce06803fc508df4a96722244eb7134d4af","first_computed_at":"2026-07-05T11:09:44.186217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:09:44.186217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rgCa3v6csHapdEHUgU+hmkBB2dg9kqwkk8ym1eFILqq4OCc5ieMxltQLq4ETCIeiKCLvE5kodRp4AjBnihSKAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:09:44.186712Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.17404","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c28174a1852995822d83326cd121adb2b1863de12ee731b21022d4e1bb760218","sha256:5b7cf727244740cfe566f08a4f323091556e28f7da02f240b90a14a967642952"],"state_sha256":"fd486ed765ca515145a4322111e56746a0f7b1b1d321777adc75016f90936756"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LTQUTaNNV1DWOx09QQ8FSH2vLAQF5A9j2qpIhfIYt602o/Q/Iyt7wukd4Z1v9Sbq6rLxrkHxxixMbNJeru8CCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T18:17:38.363724Z","bundle_sha256":"97655fe49c613b5a3e85a462c02b0dda44c682f670df806e106c4de94d98977d"}}