{"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"}