{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:OKFLDGCBHHSFM66S6WNEJGZXOL","short_pith_number":"pith:OKFLDGCB","schema_version":"1.0","canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","source":{"kind":"arxiv","id":"2606.02434","version":1},"attestation_state":"computed","paper":{"title":"Bridging the Sim-to-Real Gap in Semiconductor Visual Program Synthesis via Input Binarization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Koichiro Yawata, Koki Takeshita, Kota Dohi, Tatsuya Sasaki, Yusuke Ohtsubo","submitted_at":"2026-06-01T16:06:20Z","abstract_excerpt":"Precise parametric control over circuit geometry is essential for semiconductor inspection, yet obtaining sufficient real training data remains costly. Although generative models such as diffusion models and Generative Adversarial Networks (GANs) can augment training data, they cannot guarantee the nanometer-scale geometric accuracy required for metrology tasks. We propose a visual program synthesis framework in which a Vision-Language Model (VLM) converts inspection images into editable Domain-Specific Language (DSL) code describing circuit geometries, enabling controlled generation of traini"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.02434","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T16:06:20Z","cross_cats_sorted":[],"title_canon_sha256":"f6f6731cf6f827438e107ec52bb565c4f5a5bea416d1b545bf112312aa6ef78f","abstract_canon_sha256":"034ff0842bb4d49ce04fdea4e2df8fad367ab0d75f7e9e2c2bd190eb78e5a986"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T03:04:59.247478Z","signature_b64":"qIXpURR1naXs1K9WubNbCdBxe5rEO3b5fi98Z45BxeP3y1u90EZMfH19mfVqBN3XVdhZpW+Hrw3f99/gEwlkDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","last_reissued_at":"2026-06-02T03:04:59.247061Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T03:04:59.247061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bridging the Sim-to-Real Gap in Semiconductor Visual Program Synthesis via Input Binarization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Koichiro Yawata, Koki Takeshita, Kota Dohi, Tatsuya Sasaki, Yusuke Ohtsubo","submitted_at":"2026-06-01T16:06:20Z","abstract_excerpt":"Precise parametric control over circuit geometry is essential for semiconductor inspection, yet obtaining sufficient real training data remains costly. Although generative models such as diffusion models and Generative Adversarial Networks (GANs) can augment training data, they cannot guarantee the nanometer-scale geometric accuracy required for metrology tasks. We propose a visual program synthesis framework in which a Vision-Language Model (VLM) converts inspection images into editable Domain-Specific Language (DSL) code describing circuit geometries, enabling controlled generation of traini"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02434","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/2606.02434/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.02434","created_at":"2026-06-02T03:04:59.247119+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.02434v1","created_at":"2026-06-02T03:04:59.247119+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02434","created_at":"2026-06-02T03:04:59.247119+00:00"},{"alias_kind":"pith_short_12","alias_value":"OKFLDGCBHHSF","created_at":"2026-06-02T03:04:59.247119+00:00"},{"alias_kind":"pith_short_16","alias_value":"OKFLDGCBHHSFM66S","created_at":"2026-06-02T03:04:59.247119+00:00"},{"alias_kind":"pith_short_8","alias_value":"OKFLDGCB","created_at":"2026-06-02T03:04:59.247119+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL","json":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL.json","graph_json":"https://pith.science/api/pith-number/OKFLDGCBHHSFM66S6WNEJGZXOL/graph.json","events_json":"https://pith.science/api/pith-number/OKFLDGCBHHSFM66S6WNEJGZXOL/events.json","paper":"https://pith.science/paper/OKFLDGCB"},"agent_actions":{"view_html":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL","download_json":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL.json","view_paper":"https://pith.science/paper/OKFLDGCB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.02434&json=true","fetch_graph":"https://pith.science/api/pith-number/OKFLDGCBHHSFM66S6WNEJGZXOL/graph.json","fetch_events":"https://pith.science/api/pith-number/OKFLDGCBHHSFM66S6WNEJGZXOL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/action/storage_attestation","attest_author":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/action/author_attestation","sign_citation":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/action/citation_signature","submit_replication":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/action/replication_record"}},"created_at":"2026-06-02T03:04:59.247119+00:00","updated_at":"2026-06-02T03:04:59.247119+00:00"}