{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:22V7R4NRTZU7A6BJ27IR4VW7SL","short_pith_number":"pith:22V7R4NR","schema_version":"1.0","canonical_sha256":"d6abf8f1b19e69f07829d7d11e56df92c4c4ae58f9625386637be9295bac0550","source":{"kind":"arxiv","id":"2605.15669","version":1},"attestation_state":"computed","paper":{"title":"Rule2DRC: Benchmarking LLM Agents for DRC Script Synthesis with Execution-Guided Test Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Donghwi Hwang, Hyun Oh Song, Jinuk Kim, Junsoo Byun, Seong-Jin Park","submitted_at":"2026-05-15T06:46:14Z","abstract_excerpt":"Manufacturable chip layouts must satisfy thousands of geometry-based design rules, and design rule checking (DRC) enforces them by running executable DRC scripts on layouts. Translating natural language rules into correct DRC scripts is labor-intensive and requires specialized expertise, motivating LLM agents for DRC script synthesis and debugging. However, existing benchmarks have small evaluation sets and often evaluate scripts by code similarity rather than execution correctness, and prior machine learning-based methods either ignore execution feedback or require labeled test layouts as age"},"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":"2605.15669","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-15T06:46:14Z","cross_cats_sorted":[],"title_canon_sha256":"069b3b3f5f6b1ca54d76f1433ef9a97afc71759c977a83d8337c92fcce059e19","abstract_canon_sha256":"6a674e9b6db01eeec6207c8b29713df0bc67131d5f153640e46135b5708a1c7b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:01:11.329145Z","signature_b64":"/9jY45dYOU+GVm8Os6+G3rhRxGBXm4pIYm+qcYXDVe50o9ArcopJFOMkuYwFq531Iovqye7eGLn6GaNGGFAECA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6abf8f1b19e69f07829d7d11e56df92c4c4ae58f9625386637be9295bac0550","last_reissued_at":"2026-05-20T00:01:11.328019Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:01:11.328019Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Rule2DRC: Benchmarking LLM Agents for DRC Script Synthesis with Execution-Guided Test Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Donghwi Hwang, Hyun Oh Song, Jinuk Kim, Junsoo Byun, Seong-Jin Park","submitted_at":"2026-05-15T06:46:14Z","abstract_excerpt":"Manufacturable chip layouts must satisfy thousands of geometry-based design rules, and design rule checking (DRC) enforces them by running executable DRC scripts on layouts. Translating natural language rules into correct DRC scripts is labor-intensive and requires specialized expertise, motivating LLM agents for DRC script synthesis and debugging. However, existing benchmarks have small evaluation sets and often evaluate scripts by code similarity rather than execution correctness, and prior machine learning-based methods either ignore execution feedback or require labeled test layouts as age"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.15669","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/2605.15669/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-19T19:33:34.503361Z","status":"skipped","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T17:21:56.065405Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"7876e1678d15c753582d6ccda10a4f9adf3e6491c3b847c599d1b3cbdc648395"},"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":"2605.15669","created_at":"2026-05-20T00:01:11.328165+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.15669v1","created_at":"2026-05-20T00:01:11.328165+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15669","created_at":"2026-05-20T00:01:11.328165+00:00"},{"alias_kind":"pith_short_12","alias_value":"22V7R4NRTZU7","created_at":"2026-05-20T00:01:11.328165+00:00"},{"alias_kind":"pith_short_16","alias_value":"22V7R4NRTZU7A6BJ","created_at":"2026-05-20T00:01:11.328165+00:00"},{"alias_kind":"pith_short_8","alias_value":"22V7R4NR","created_at":"2026-05-20T00:01:11.328165+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/22V7R4NRTZU7A6BJ27IR4VW7SL","json":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL.json","graph_json":"https://pith.science/api/pith-number/22V7R4NRTZU7A6BJ27IR4VW7SL/graph.json","events_json":"https://pith.science/api/pith-number/22V7R4NRTZU7A6BJ27IR4VW7SL/events.json","paper":"https://pith.science/paper/22V7R4NR"},"agent_actions":{"view_html":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL","download_json":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL.json","view_paper":"https://pith.science/paper/22V7R4NR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.15669&json=true","fetch_graph":"https://pith.science/api/pith-number/22V7R4NRTZU7A6BJ27IR4VW7SL/graph.json","fetch_events":"https://pith.science/api/pith-number/22V7R4NRTZU7A6BJ27IR4VW7SL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL/action/storage_attestation","attest_author":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL/action/author_attestation","sign_citation":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL/action/citation_signature","submit_replication":"https://pith.science/pith/22V7R4NRTZU7A6BJ27IR4VW7SL/action/replication_record"}},"created_at":"2026-05-20T00:01:11.328165+00:00","updated_at":"2026-05-20T00:01:11.328165+00:00"}