{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:WR7DIJPBMIQA4PVOMBGYYGV3JU","short_pith_number":"pith:WR7DIJPB","canonical_record":{"source":{"id":"2012.02530","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2020-12-04T11:23:01Z","cross_cats_sorted":[],"title_canon_sha256":"f596f5af3fbd990d7f0900b4deb26dd5135e95e053baf81d7539896f327bc2f6","abstract_canon_sha256":"e8630ca2de78f5b2f45a471a02579cf66cff280995b0b9a54f1f0f8628ba4747"},"schema_version":"1.0"},"canonical_sha256":"b47e3425e162200e3eae604d8c1abb4d2a413c9934d170e3cf4a9d70985f795a","source":{"kind":"arxiv","id":"2012.02530","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.02530","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"arxiv_version","alias_value":"2012.02530v2","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.02530","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"pith_short_12","alias_value":"WR7DIJPBMIQA","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"pith_short_16","alias_value":"WR7DIJPBMIQA4PVO","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"pith_short_8","alias_value":"WR7DIJPB","created_at":"2026-07-05T01:59:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:WR7DIJPBMIQA4PVOMBGYYGV3JU","target":"record","payload":{"canonical_record":{"source":{"id":"2012.02530","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2020-12-04T11:23:01Z","cross_cats_sorted":[],"title_canon_sha256":"f596f5af3fbd990d7f0900b4deb26dd5135e95e053baf81d7539896f327bc2f6","abstract_canon_sha256":"e8630ca2de78f5b2f45a471a02579cf66cff280995b0b9a54f1f0f8628ba4747"},"schema_version":"1.0"},"canonical_sha256":"b47e3425e162200e3eae604d8c1abb4d2a413c9934d170e3cf4a9d70985f795a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:59:35.846477Z","signature_b64":"ib50BchIPiM/5JtT5ykknX3xkriX0br/LvwULyGNyZZoIULnillexZGIE9RELRSCKDVAN08b6tlSBIJgMeJJCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b47e3425e162200e3eae604d8c1abb4d2a413c9934d170e3cf4a9d70985f795a","last_reissued_at":"2026-07-05T01:59:35.846072Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:59:35.846072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.02530","source_version":2,"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-05T01:59:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MPxXijkFApvnegvtHyucudlovW1Pz9JSdfnqUZxuUTviF/MGSBvD1sPmylVh9btIgYbnS/v6tdkfCONBYE2uDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:35:28.412804Z"},"content_sha256":"d98e2c31f56da02a9818764c7f00795a4b38eacc4fba5e8a5522a1e010a57681","schema_version":"1.0","event_id":"sha256:d98e2c31f56da02a9818764c7f00795a4b38eacc4fba5e8a5522a1e010a57681"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:WR7DIJPBMIQA4PVOMBGYYGV3JU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Aditya Lohana, Akash Kumar, Alan Mishchenko, Augusto Berndt, Azadeh Davoodi, Brunno A. de Abreu, Cristina Meinhardt, David Z. Pan, Guilherme B. Manske, Hanyu Wang, Hoa-Ren Wang, Isac de Souza Campos, Jiaqi Gu, Jie-Hong R. Jiang, Jonata T. Carvalho, Jordan Dotzel, Leomar S. da Rosa Junior, Marilton S. de Aguiar, Mateus Grellert, Matheus F. Pontes, Mingfei Yu, Paulo F. Butzen, Pierre-Emmanuel Gaillardon, Po-Chun Chien, Qingyang Yi Masahiro Fujita, Rasit O. Topaloglu, Satrajit Chatterjee, Sergio Bampi, Shubham Rai, Valerio Tenace, Walter Lau Neto, Wei Zeng, Xinpei Zhang, Yichi Zhang, Yuan Zhou, Yukio Miyasaka, Yu-Shan Huang, Zheng Zhao, Zhiru Zhang, Zixuan Jiang","submitted_at":"2020-12-04T11:23:01Z","abstract_excerpt":"Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthesis rely on SAT and Boolean methods to exactly implement the care set, we investigate learning in logic synthesis, attempting to trade exactness for generalization. This work is directly related to mac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.02530","kind":"arxiv","version":2},"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/2012.02530/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-05T01:59:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cFvmeGrJBDYalcYFM/eORQQlXKUAHeYbKUe77ncdQ9DaOBJpukGHymoITpwH/5qZmC26bYMkAisjdgmnPLJEDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:35:28.413199Z"},"content_sha256":"fbf6b5425ddd699721b188f216b780a5216fd773415f449e17c300a7d8057fe6","schema_version":"1.0","event_id":"sha256:fbf6b5425ddd699721b188f216b780a5216fd773415f449e17c300a7d8057fe6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU/bundle.json","state_url":"https://pith.science/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU/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-07-05T10:35:28Z","links":{"resolver":"https://pith.science/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU","bundle":"https://pith.science/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU/bundle.json","state":"https://pith.science/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WR7DIJPBMIQA4PVOMBGYYGV3JU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:WR7DIJPBMIQA4PVOMBGYYGV3JU","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":"e8630ca2de78f5b2f45a471a02579cf66cff280995b0b9a54f1f0f8628ba4747","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2020-12-04T11:23:01Z","title_canon_sha256":"f596f5af3fbd990d7f0900b4deb26dd5135e95e053baf81d7539896f327bc2f6"},"schema_version":"1.0","source":{"id":"2012.02530","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.02530","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"arxiv_version","alias_value":"2012.02530v2","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.02530","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"pith_short_12","alias_value":"WR7DIJPBMIQA","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"pith_short_16","alias_value":"WR7DIJPBMIQA4PVO","created_at":"2026-07-05T01:59:35Z"},{"alias_kind":"pith_short_8","alias_value":"WR7DIJPB","created_at":"2026-07-05T01:59:35Z"}],"graph_snapshots":[{"event_id":"sha256:fbf6b5425ddd699721b188f216b780a5216fd773415f449e17c300a7d8057fe6","target":"graph","created_at":"2026-07-05T01:59:35Z","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/2012.02530/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthesis rely on SAT and Boolean methods to exactly implement the care set, we investigate learning in logic synthesis, attempting to trade exactness for generalization. This work is directly related to mac","authors_text":"Aditya Lohana, Akash Kumar, Alan Mishchenko, Augusto Berndt, Azadeh Davoodi, Brunno A. de Abreu, Cristina Meinhardt, David Z. Pan, Guilherme B. Manske, Hanyu Wang, Hoa-Ren Wang, Isac de Souza Campos, Jiaqi Gu, Jie-Hong R. Jiang, Jonata T. Carvalho, Jordan Dotzel, Leomar S. da Rosa Junior, Marilton S. de Aguiar, Mateus Grellert, Matheus F. Pontes, Mingfei Yu, Paulo F. Butzen, Pierre-Emmanuel Gaillardon, Po-Chun Chien, Qingyang Yi Masahiro Fujita, Rasit O. Topaloglu, Satrajit Chatterjee, Sergio Bampi, Shubham Rai, Valerio Tenace, Walter Lau Neto, Wei Zeng, Xinpei Zhang, Yichi Zhang, Yuan Zhou, Yukio Miyasaka, Yu-Shan Huang, Zheng Zhao, Zhiru Zhang, Zixuan Jiang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2020-12-04T11:23:01Z","title":"Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.02530","kind":"arxiv","version":2},"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:d98e2c31f56da02a9818764c7f00795a4b38eacc4fba5e8a5522a1e010a57681","target":"record","created_at":"2026-07-05T01:59:35Z","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":"e8630ca2de78f5b2f45a471a02579cf66cff280995b0b9a54f1f0f8628ba4747","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2020-12-04T11:23:01Z","title_canon_sha256":"f596f5af3fbd990d7f0900b4deb26dd5135e95e053baf81d7539896f327bc2f6"},"schema_version":"1.0","source":{"id":"2012.02530","kind":"arxiv","version":2}},"canonical_sha256":"b47e3425e162200e3eae604d8c1abb4d2a413c9934d170e3cf4a9d70985f795a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b47e3425e162200e3eae604d8c1abb4d2a413c9934d170e3cf4a9d70985f795a","first_computed_at":"2026-07-05T01:59:35.846072Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:59:35.846072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ib50BchIPiM/5JtT5ykknX3xkriX0br/LvwULyGNyZZoIULnillexZGIE9RELRSCKDVAN08b6tlSBIJgMeJJCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:59:35.846477Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.02530","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d98e2c31f56da02a9818764c7f00795a4b38eacc4fba5e8a5522a1e010a57681","sha256:fbf6b5425ddd699721b188f216b780a5216fd773415f449e17c300a7d8057fe6"],"state_sha256":"4644343582de2765f991c55479c568f3680b95014ab04a1f453d7f2245a29c7f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2v5jWwNXmVgvBVn+Ct31rnPSQYUwIcn2Um+kiMU7UD/pVTDrvtJp0AOBFK2BAnbI31h2oYeEykg4e4NUmizRBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T10:35:28.415644Z","bundle_sha256":"953797c8e13c5e5d6ac8073bbe73978dc55a4315c6397144e7290a79f967495b"}}