{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:VAWFLC3SELZVOTAT2FMPLWQYYJ","short_pith_number":"pith:VAWFLC3S","schema_version":"1.0","canonical_sha256":"a82c558b7222f3574c13d158f5da18c241ae08fd4ac1c28cd6bf7debee50c83b","source":{"kind":"arxiv","id":"2508.14068","version":1},"attestation_state":"computed","paper":{"title":"Revisit Choice Network for Synthesis and Technology Mapping","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Chen Chen, Cunxi Yu, Jiaqi Yin","submitted_at":"2025-08-04T10:09:10Z","abstract_excerpt":"Choice network construction is a critical technique for alleviating structural bias issues in Boolean optimization, equivalence checking, and technology mapping. Previous works on lossless synthesis utilize independent optimization to generate multiple snapshots, and use simulation and SAT solvers to identify functionally equivalent nodes. These nodes are then merged into a subject graph with choice nodes. However, such methods often neglect the quality of these choices, raising the question of whether they truly contribute to effective technology mapping.\n  This paper introduces Cristal, a no"},"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":"2508.14068","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-08-04T10:09:10Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f14a3a04183e0e008c166fe82ee790072fcf84152d93221c5f350c735e0aba06","abstract_canon_sha256":"a4694479fc8f0b46cb82a939ddc46d38b2d3790301f0ef4ac0d30a232a78a435"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:56:24.373911Z","signature_b64":"p9UlQEOQcUsUHQqYAs5noodFe5u1L8CbkJd/eNVAs02RaFSH98ma0kCeRtYvwxmyYHEAT5/eK7rdTUgn64pgBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a82c558b7222f3574c13d158f5da18c241ae08fd4ac1c28cd6bf7debee50c83b","last_reissued_at":"2026-07-05T11:56:24.373327Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:56:24.373327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Revisit Choice Network for Synthesis and Technology Mapping","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.AR","authors_text":"Chen Chen, Cunxi Yu, Jiaqi Yin","submitted_at":"2025-08-04T10:09:10Z","abstract_excerpt":"Choice network construction is a critical technique for alleviating structural bias issues in Boolean optimization, equivalence checking, and technology mapping. Previous works on lossless synthesis utilize independent optimization to generate multiple snapshots, and use simulation and SAT solvers to identify functionally equivalent nodes. These nodes are then merged into a subject graph with choice nodes. However, such methods often neglect the quality of these choices, raising the question of whether they truly contribute to effective technology mapping.\n  This paper introduces Cristal, a no"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.14068","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/2508.14068/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":"2508.14068","created_at":"2026-07-05T11:56:24.373404+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.14068v1","created_at":"2026-07-05T11:56:24.373404+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.14068","created_at":"2026-07-05T11:56:24.373404+00:00"},{"alias_kind":"pith_short_12","alias_value":"VAWFLC3SELZV","created_at":"2026-07-05T11:56:24.373404+00:00"},{"alias_kind":"pith_short_16","alias_value":"VAWFLC3SELZVOTAT","created_at":"2026-07-05T11:56:24.373404+00:00"},{"alias_kind":"pith_short_8","alias_value":"VAWFLC3S","created_at":"2026-07-05T11:56:24.373404+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/VAWFLC3SELZVOTAT2FMPLWQYYJ","json":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ.json","graph_json":"https://pith.science/api/pith-number/VAWFLC3SELZVOTAT2FMPLWQYYJ/graph.json","events_json":"https://pith.science/api/pith-number/VAWFLC3SELZVOTAT2FMPLWQYYJ/events.json","paper":"https://pith.science/paper/VAWFLC3S"},"agent_actions":{"view_html":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ","download_json":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ.json","view_paper":"https://pith.science/paper/VAWFLC3S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.14068&json=true","fetch_graph":"https://pith.science/api/pith-number/VAWFLC3SELZVOTAT2FMPLWQYYJ/graph.json","fetch_events":"https://pith.science/api/pith-number/VAWFLC3SELZVOTAT2FMPLWQYYJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ/action/storage_attestation","attest_author":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ/action/author_attestation","sign_citation":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ/action/citation_signature","submit_replication":"https://pith.science/pith/VAWFLC3SELZVOTAT2FMPLWQYYJ/action/replication_record"}},"created_at":"2026-07-05T11:56:24.373404+00:00","updated_at":"2026-07-05T11:56:24.373404+00:00"}