{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:42:00Z","timestamp":1763534520945,"version":"3.45.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1109\/mlcad65511.2025.11189110","type":"proceedings-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:51:22Z","timestamp":1760032282000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["ML-Inspired Logic Synthesis: Improving Multiplier Circuits"],"prefix":"10.1109","author":[{"given":"Yukio","family":"Miyasaka","sequence":"first","affiliation":[{"name":"University of California, Berkeley,Berkeley,California,USA"}]},{"given":"Walter Lau","family":"Neto","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]},{"given":"Eleonora","family":"Testa","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]},{"given":"Anika","family":"Prasad","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]},{"given":"Michael","family":"Shuster","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]},{"given":"Reto","family":"Zimmermann","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]},{"given":"Patrick","family":"Vuillod","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[{"name":"University of California, Berkeley,Berkeley,California,USA"}]},{"given":"John","family":"Wawrzynek","sequence":"additional","affiliation":[{"name":"University of California, Berkeley,Berkeley,California,USA"}]},{"given":"Luca","family":"Amar\u00f9","sequence":"additional","affiliation":[{"name":"Synopsys Inc.,Sunnyvale,California,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2018.00029"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431560"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3380446.3430622"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3213611"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560122"},{"key":"ref6","first-page":"2006","article-title":"Deep differentiable logic gate networks","volume-title":"Proceedings of NeurIPS","volume":"35","author":"Petersen","year":"2022"},{"volume-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","year":"1994","author":"Klir","key":"ref7"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.52843\/cassyni.wyw879","article-title":"Learning to design efficient logic circuits","author":"Hillier","year":"2023"},{"year":"2023","key":"ref9","article-title":"Problems and results of IWLS 2023 programming contest"},{"key":"ref10","article-title":"The AIGER And-Inverter Graph (AIG) format version 20071012","volume-title":"Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria, Tech. Rep. 07\/1","author":"Biere","year":"2007"},{"volume-title":"Synthesis and Optimization of Digital Circuits","year":"1994","author":"Micheli","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586132"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530461"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCASAI.2024.3462303"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3328622"},{"key":"ref17","first-page":"2277","article-title":"Differentiable weightless neural networks","volume-title":"Proceedings of ICML","volume":"235","author":"Bacellar","year":"2024"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/9781118750124.ch4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196039"},{"key":"ref20","article-title":"Categorical reparameterization with gumbel-softmax","volume-title":"Proceedings of ICLR","author":"Jang","year":"2017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640366"},{"key":"ref22","article-title":"Adam: A method for stochastic optimization","volume-title":"Proceedings of ICLR","author":"Kingma","year":"2015"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330701"},{"key":"ref24","article-title":"ABC: A system for sequential synthesis and verification"}],"event":{"name":"2025 ACM\/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","start":{"date-parts":[[2025,9,8]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2025,9,10]]}},"container-title":["2025 ACM\/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11189084\/11189054\/11189110.pdf?arnumber=11189110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:33:49Z","timestamp":1763534029000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11189110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/mlcad65511.2025.11189110","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]}}}