{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:UF3VOJNBRFK3D6JIIR4YH252CU","short_pith_number":"pith:UF3VOJNB","canonical_record":{"source":{"id":"2607.21220","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2026-07-23T11:37:49Z","cross_cats_sorted":[],"title_canon_sha256":"dd523059d9be7f35b6260110abdb58b60231d9f451306b0164a09759333eb863","abstract_canon_sha256":"401698524a38c31990d94a9a8dff905dd6d0896d527dff2731a72d648df80aeb"},"schema_version":"1.0"},"canonical_sha256":"a1775725a18955b1f928447983ebba15269dfb045835f967ffa7e4f27ddfe95e","source":{"kind":"arxiv","id":"2607.21220","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21220","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21220v1","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21220","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"pith_short_12","alias_value":"UF3VOJNBRFK3","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"pith_short_16","alias_value":"UF3VOJNBRFK3D6JI","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"pith_short_8","alias_value":"UF3VOJNB","created_at":"2026-07-24T01:24:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:UF3VOJNBRFK3D6JIIR4YH252CU","target":"record","payload":{"canonical_record":{"source":{"id":"2607.21220","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2026-07-23T11:37:49Z","cross_cats_sorted":[],"title_canon_sha256":"dd523059d9be7f35b6260110abdb58b60231d9f451306b0164a09759333eb863","abstract_canon_sha256":"401698524a38c31990d94a9a8dff905dd6d0896d527dff2731a72d648df80aeb"},"schema_version":"1.0"},"canonical_sha256":"a1775725a18955b1f928447983ebba15269dfb045835f967ffa7e4f27ddfe95e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T01:24:19.768324Z","signature_b64":"GJIKznutLm6RyQv8x1ejQtw6fAI0qhFL14/i3ZHkf2BgvCTNAlL8IsZmVtlZNG33MBcVKd+Yjx4KhOSB5oXCDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1775725a18955b1f928447983ebba15269dfb045835f967ffa7e4f27ddfe95e","last_reissued_at":"2026-07-24T01:24:19.767399Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T01:24:19.767399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.21220","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-24T01:24:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SJlTg1TPN86TYCFUUBl41fXzm0shrOk8vg4ylX3ByBY/3Pt9DDqZ2+hjSxgxDBAGDzAVknwSATOSPOOGqpPzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:27:56.240107Z"},"content_sha256":"9464fbc34d20338339a0bdae330ed386b244d8556d6fb9d325e0d0a3b011dbdc","schema_version":"1.0","event_id":"sha256:9464fbc34d20338339a0bdae330ed386b244d8556d6fb9d325e0d0a3b011dbdc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:UF3VOJNBRFK3D6JIIR4YH252CU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven Design","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.NE","authors_text":"Bing Xue, Handing Wang, Mengjie Zhang, Yuchen Li","submitted_at":"2026-07-23T11:37:49Z","abstract_excerpt":"Expensive simulation-driven design is widely used in engineering to identify requirement-satisfying designs with as few high-fidelity simulations as possible. Most existing efforts address this challenge by improving optimization algorithms under fixed formulations, yet the formulation itself shapes the search landscape by defining the objectives and constraints optimized by the solver. Recent LLM-based automatic problem formulation methods generate formulations from natural-language requirements, but they mainly focus on design-intent alignment and overlook whether the formulation induces an "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21220","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.21220/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-24T01:24:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NpoRsntKhn8EwP4LLMZxxKhjvCJyME/hAGXWDroZV60EY8zE2UG3iTPmp9C4WIR1sLMtRWAsa+knh/fXoRp8Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:27:56.240986Z"},"content_sha256":"51999b4307c4c8868732dd5c4411a38a059375d6dfea5f334246be4880a924d0","schema_version":"1.0","event_id":"sha256:51999b4307c4c8868732dd5c4411a38a059375d6dfea5f334246be4880a924d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UF3VOJNBRFK3D6JIIR4YH252CU/bundle.json","state_url":"https://pith.science/pith/UF3VOJNBRFK3D6JIIR4YH252CU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UF3VOJNBRFK3D6JIIR4YH252CU/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-05T13:27:56Z","links":{"resolver":"https://pith.science/pith/UF3VOJNBRFK3D6JIIR4YH252CU","bundle":"https://pith.science/pith/UF3VOJNBRFK3D6JIIR4YH252CU/bundle.json","state":"https://pith.science/pith/UF3VOJNBRFK3D6JIIR4YH252CU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UF3VOJNBRFK3D6JIIR4YH252CU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:UF3VOJNBRFK3D6JIIR4YH252CU","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":"401698524a38c31990d94a9a8dff905dd6d0896d527dff2731a72d648df80aeb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2026-07-23T11:37:49Z","title_canon_sha256":"dd523059d9be7f35b6260110abdb58b60231d9f451306b0164a09759333eb863"},"schema_version":"1.0","source":{"id":"2607.21220","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21220","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21220v1","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21220","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"pith_short_12","alias_value":"UF3VOJNBRFK3","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"pith_short_16","alias_value":"UF3VOJNBRFK3D6JI","created_at":"2026-07-24T01:24:19Z"},{"alias_kind":"pith_short_8","alias_value":"UF3VOJNB","created_at":"2026-07-24T01:24:19Z"}],"graph_snapshots":[{"event_id":"sha256:51999b4307c4c8868732dd5c4411a38a059375d6dfea5f334246be4880a924d0","target":"graph","created_at":"2026-07-24T01:24:19Z","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.21220/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Expensive simulation-driven design is widely used in engineering to identify requirement-satisfying designs with as few high-fidelity simulations as possible. Most existing efforts address this challenge by improving optimization algorithms under fixed formulations, yet the formulation itself shapes the search landscape by defining the objectives and constraints optimized by the solver. Recent LLM-based automatic problem formulation methods generate formulations from natural-language requirements, but they mainly focus on design-intent alignment and overlook whether the formulation induces an ","authors_text":"Bing Xue, Handing Wang, Mengjie Zhang, Yuchen Li","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2026-07-23T11:37:49Z","title":"Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven Design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21220","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:9464fbc34d20338339a0bdae330ed386b244d8556d6fb9d325e0d0a3b011dbdc","target":"record","created_at":"2026-07-24T01:24:19Z","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":"401698524a38c31990d94a9a8dff905dd6d0896d527dff2731a72d648df80aeb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NE","submitted_at":"2026-07-23T11:37:49Z","title_canon_sha256":"dd523059d9be7f35b6260110abdb58b60231d9f451306b0164a09759333eb863"},"schema_version":"1.0","source":{"id":"2607.21220","kind":"arxiv","version":1}},"canonical_sha256":"a1775725a18955b1f928447983ebba15269dfb045835f967ffa7e4f27ddfe95e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1775725a18955b1f928447983ebba15269dfb045835f967ffa7e4f27ddfe95e","first_computed_at":"2026-07-24T01:24:19.767399Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T01:24:19.767399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GJIKznutLm6RyQv8x1ejQtw6fAI0qhFL14/i3ZHkf2BgvCTNAlL8IsZmVtlZNG33MBcVKd+Yjx4KhOSB5oXCDA==","signature_status":"signed_v1","signed_at":"2026-07-24T01:24:19.768324Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.21220","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9464fbc34d20338339a0bdae330ed386b244d8556d6fb9d325e0d0a3b011dbdc","sha256:51999b4307c4c8868732dd5c4411a38a059375d6dfea5f334246be4880a924d0"],"state_sha256":"1e42ad9215b59314d7a6c02a2e36c9bfbb819d6581d5c14e27f4fe53064fcdf8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"an6atlIkf92qROCnRmeDjmDOFG04YeUmevfYgY9ZQfxr3wFdlWvF9dQMettXKOjFAtejcqOZMPGNKmAmkeBMDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T13:27:56.249034Z","bundle_sha256":"c48cb78c4f9333dd1debc71feec011485438bc7e2c9137acb8b371ee26f071f4"}}