{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:25:03Z","timestamp":1784643903682,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National Natural Science Foundation of China","award":["U20B2045"],"award-info":[{"award-number":["U20B2045"]}]},{"name":"the National Natural Science Foundation of China","award":["U1936220"],"award-info":[{"award-number":["U1936220"]}]},{"name":"the National Natural Science Foundation of China","award":["62192784"],"award-info":[{"award-number":["62192784"]}]},{"name":"the National Natural Science Foundation of China","award":["62172052"],"award-info":[{"award-number":["62172052"]}]},{"name":"the National Natural Science Foundation of China","award":["62002029"],"award-info":[{"award-number":["62002029"]}]},{"name":"the National Natural Science Foundation of China","award":["61772082"],"award-info":[{"award-number":["61772082"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3676536.3676834","type":"proceedings-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:21:20Z","timestamp":1744204880000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["PolarGate: Breaking the Functionality Representation Bottleneck of And-Inverter Graph Neural Network"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2437-0455","authenticated-orcid":false,"given":"Jiawei","family":"Liu","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1581-3536","authenticated-orcid":false,"given":"Jianwang","family":"Zhai","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0949-845X","authenticated-orcid":false,"given":"Mingyu","family":"Zhao","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1594-2335","authenticated-orcid":false,"given":"Zhe","family":"Lin","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University, Guangdong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6406-4810","authenticated-orcid":false,"given":"Bei","family":"Yu","sequence":"additional","affiliation":[{"name":"The Chinese University of Hong Kong, HongKong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3734-0266","authenticated-orcid":false,"given":"Chuan","family":"Shi","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"IEEE","author":"Wu N.","year":"2023","unstructured":"N. Wu, Y. Li, C. Hao, S. Dai, C. Yu, and Y. Xie, \"Gamora: Graph learning based symbolic reasoning for large-scale boolean networks,\" in ACM\/IEEE Design Automation Conference (DAC). IEEE, 2023, pp. 1--6."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"IEEE","author":"Shi Z.","year":"2023","unstructured":"Z. Shi, H. Pan, S. Khan, M. Li, Y. Liu, J. Huang, H.-L. Zhen, M. Yuan, Z. Chu, and Q. Xu, \"DeepGate2: Functionality-aware circuit representation learning,\" in IEEE\/ACM International Conference on Computer Aided Design (ICCAD). IEEE, 2023, pp. 1--9."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530497"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"IEEE","author":"Zhang H.-T.","year":"2021","unstructured":"H.-T. Zhang, J.-H. R. Jiang, and A. Mishchenko, \"A circuit-based sat solver for logic synthesis,\" in IEEE\/ACM International Conference On Computer Aided Design (ICCAD). IEEE, 2021, pp. 1--6."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"High performance graph convolutional networks with applications in testability analysis,\" in ACM\/IEEE Design Automation Conference (DAC)","author":"Ma Y.","year":"2019","unstructured":"Y. Ma, H. Ren, B. Khailany, H. Sikka, L. Luo, K. Natarajan, and B. Yu, \"High performance graph convolutional networks with applications in testability analysis,\" in ACM\/IEEE Design Automation Conference (DAC), 2019, pp. 1--6."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2013.2294918"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3451179"},{"key":"e_1_3_2_1_8_1","first-page":"217","volume-title":"IEEE","author":"Kirby R.","year":"2019","unstructured":"R. Kirby, S. Godil, R. Roy, and B. Catanzaro, \"CongestionNet: Routing congestion prediction using deep graph neural networks,\" in IFIP\/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC). IEEE, 2019, pp. 217--222."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394885.3431562"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"IEEE","author":"Zhang Y.","year":"2020","unstructured":"Y. Zhang, H. Ren, and B. Khailany, \"GRANNITE: Graph neural network inference for transferable power estimation,\" in ACM\/IEEE Design Automation Conference (DAC). IEEE, 2020, pp. 1--6."},{"key":"e_1_3_2_1_11_1","first-page":"61","volume-title":"Functionality matters in netlist representation learning,\" in ACM\/IEEE Design Automation Conference (DAC)","author":"Wang Z.","year":"2022","unstructured":"Z. Wang, C. Bai, Z. He, G. Zhang, Q. Xu, T.-Y. Ho, B. Yu, and Y. Huang, \"Functionality matters in netlist representation learning,\" in ACM\/IEEE Design Automation Conference (DAC), 2022, pp. 61--66."},{"key":"e_1_3_2_1_12_1","volume-title":"Less is more: Hop-wise graph attention for scalable and generalizable learning on circuits,\" in DAC","author":"Deng C.","year":"2024","unstructured":"C. Deng, Z. Yue, C. Yu, G. Sarar, R. Carey, R. Jain, and Z. Zhang, \"Less is more: Hop-wise graph attention for scalable and generalizable learning on circuits,\" in DAC, 2024."},{"key":"e_1_3_2_1_13_1","volume-title":"On the bottleneck of graph neural networks and its practical implications,\" in International Conference on Learning Representations (ICLR)","author":"Alon U.","year":"2020","unstructured":"U. Alon and E. Yahav, \"On the bottleneck of graph neural networks and its practical implications,\" in International Conference on Learning Representations (ICLR), 2020."},{"key":"e_1_3_2_1_14_1","volume-title":"How powerful are graph neural networks?\" in International Conference on Learning Representations (ICLR)","author":"Xu K.","year":"2018","unstructured":"K. Xu, W. Hu, J. Leskovec, and S. Jegelka, \"How powerful are graph neural networks?\" in International Conference on Learning Representations (ICLR), 2018."},{"key":"e_1_3_2_1_15_1","volume-title":"Graph attention networks,\" in International Conference on Learning Representations (ICLR)","author":"Veli\u010dkovi\u0107 P.","year":"2018","unstructured":"P. Veli\u010dkovi\u0107, G. Cucurull, A. Casanova, A. Romero, P. Li\u00f2, and Y. Bengio, \"Graph attention networks,\" in International Conference on Learning Representations (ICLR), 2018."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Q. Li Z. Han and X.-M. Wu \"Deeper insights into graph convolutional networks for semi-supervised learning \" in AAAI Conference on Artificial Intelligence (AAAI) vol. 32 no. 1 2018.","DOI":"10.1609\/aaai.v32i1.11604"},{"key":"e_1_3_2_1_17_1","volume-title":"Understanding over-squashing and bottlenecks on graphs via curvature,\" in International Conference on Learning Representations (ICLR)","author":"Topping J.","year":"2021","unstructured":"J. Topping, F. Di Giovanni, B. P. Chamberlain, X. Dong, and M. M. Bronstein, \"Understanding over-squashing and bottlenecks on graphs via curvature,\" in International Conference on Learning Representations (ICLR), 2021."},{"key":"e_1_3_2_1_18_1","first-page":"7865","volume-title":"PMLR","author":"Di Giovanni F.","year":"2023","unstructured":"F. Di Giovanni, L. Giusti, F. Barbero, G. Luise, P. Lio, and M. M. Bronstein, \"On over-squashing in message passing neural networks: The impact of width, depth, and topology,\" in International Conference on Machine Learning (ICML). PMLR, 2023, pp. 7865--7885."},{"key":"e_1_3_2_1_19_1","first-page":"9267","article-title":"DeepGCNs: Can GCNs go as deep as CNNs?","author":"Li G.","year":"2019","unstructured":"G. Li, M. Muller, A. Thabet, and B. Ghanem, \"DeepGCNs: Can GCNs go as deep as CNNs?\" in IEEE\/CVF International Conference on Computer Vision (ICCV), 2019, pp. 9267--9276.","journal-title":"IEEE\/CVF International Conference on Computer Vision (ICCV)"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539445"},{"key":"e_1_3_2_1_21_1","volume-title":"Semi-supervised classification with graph convolutional networks,\" in International Conference on Learning Representations (ICLR)","author":"Kipf T. N.","year":"2016","unstructured":"T. N. Kipf and M. Welling, \"Semi-supervised classification with graph convolutional networks,\" in International Conference on Learning Representations (ICLR), 2016."},{"key":"e_1_3_2_1_22_1","first-page":"2528","volume-title":"PMLR","author":"Black M.","year":"2023","unstructured":"M. Black, Z. Wan, A. Nayyeri, and Y. Wang, \"Understanding oversquashing in GNNs through the lens of effective resistance,\" in International Conference on Machine Learning (ICML). PMLR, 2023, pp. 2528--2547."},{"key":"e_1_3_2_1_23_1","first-page":"221","article-title":"CurvDrop: A ricci curvature based approach to prevent graph neural networks from over-smoothing and over-squashing","author":"Liu Y.","year":"2023","unstructured":"Y. Liu, C. Zhou, S. Pan, J. Wu, Z. Li, H. Chen, and P. Zhang, \"CurvDrop: A ricci curvature based approach to prevent graph neural networks from over-smoothing and over-squashing,\" in ACM Web Conference, 2023, pp. 221--230.","journal-title":"ACM Web Conference"},{"key":"e_1_3_2_1_24_1","volume-title":"ITC'99 benchmark circuits,\" in ITSW","author":"Davidson S.","year":"1999","unstructured":"S. Davidson, \"Characteristics of the ITC'99 benchmark circuits,\" in ITSW, 1999."},{"key":"e_1_3_2_1_25_1","unstructured":"C. Albrecht \"IWLS 2005 benchmarks \" in IWLS 2005."},{"key":"e_1_3_2_1_26_1","volume-title":"CONF","author":"Amar\u00fa L.","year":"2015","unstructured":"L. Amar\u00fa, P.-E. Gaillardon, and G. De Micheli, \"The EPFL combinational benchmark suite,\" in IWLS, no. CONF, 2015."},{"key":"e_1_3_2_1_27_1","unstructured":"O. Team \"OpenCores \" https:\/\/opencores.org\/."},{"key":"e_1_3_2_1_28_1","volume-title":"ICLR","author":"Selsam D.","year":"2019","unstructured":"D. Selsam, M. Lamm, B. B\u00fcnz, P. Liang, D. L. Dill, and L. De Moura, \"Learning a sat solver from single-bit supervision,\" in 7th International Conference on Learning Representations, ICLR, 2019."},{"key":"e_1_3_2_1_29_1","volume-title":"Graph attention networks,\" ICLR","author":"Veli\u010dkovi\u0107 P.","year":"2017","unstructured":"P. Veli\u010dkovi\u0107, G. Cucurull, A. Casanova, A. Romero, P. Li\u00f2, and Y. Bengio, \"Graph attention networks,\" ICLR, 2017."},{"key":"e_1_3_2_1_30_1","volume-title":"Directed acyclic graph neural networks,\" in International Conference on Learning Representations (ICLR)","author":"Thost V.","year":"2021","unstructured":"V. Thost and J. Chen, \"Directed acyclic graph neural networks,\" in International Conference on Learning Representations (ICLR), 2021."},{"key":"e_1_3_2_1_31_1","first-page":"1588","volume-title":"D-vae: a variational autoencoder for directed acyclic graphs,\" in Proceedings of the 33rd International Conference on Neural Information Processing Systems","author":"Zhang M.","year":"2019","unstructured":"M. Zhang, S. Jiang, Z. Cui, R. Garnett, and Y. Chen, \"D-vae: a variational autoencoder for directed acyclic graphs,\" in Proceedings of the 33rd International Conference on Neural Information Processing Systems, 2019, pp. 1588--1600."},{"key":"e_1_3_2_1_32_1","volume-title":"Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach,\" in International Conference on Learning Representations (ICLR)","author":"Amizadeh S.","year":"2019","unstructured":"S. Amizadeh, S. Matusevych, and M. Weimer, \"Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach,\" in International Conference on Learning Representations (ICLR), 2019."}],"event":{"name":"ICCAD '24: 43rd IEEE\/ACM International Conference on Computer-Aided Design","location":"Newark Liberty International Airport Marriott New York NY USA","acronym":"ICCAD '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE EDS"]},"container-title":["Proceedings of the 43rd IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676536.3676834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676536.3676834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:44Z","timestamp":1750295924000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676536.3676834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":32,"alternative-id":["10.1145\/3676536.3676834","10.1145\/3676536"],"URL":"https:\/\/doi.org\/10.1145\/3676536.3676834","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}