{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T05:04:05Z","timestamp":1780031045008,"version":"3.53.1"},"reference-count":60,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T00:00:00Z","timestamp":1775606400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T00:00:00Z","timestamp":1775606400000},"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":[[2026,4,8]]},"DOI":"10.1109\/isqed69900.2026.11534708","type":"proceedings-article","created":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T22:26:58Z","timestamp":1780007218000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Thor: Towards General Directed Circuit Graph Encoder with Sample-Efficient Graph Contrastive Learning"],"prefix":"10.1109","author":[{"given":"Wencheng","family":"Zou","sequence":"first","affiliation":[{"name":"George Washington University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yiran","family":"Xia","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haoyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pan","family":"Li","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nan","family":"Wu","sequence":"additional","affiliation":[{"name":"George Washington University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218515"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP54787.2022.00013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.52202\/075280-1962"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247828"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3657386"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3661308"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3676536.3676791"},{"key":"ref8","article-title":"Deepgate4: Efficient and effective representation learning for circuit design at scale","author":"Zheng","year":"2025","journal-title":"arXiv preprint arXiv:2502.01681"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203809"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2018.00029"},{"key":"ref11","article-title":"Ironman: Gnn-assisted design space exploration in high-level synthesis via reinforcement learning","volume-title":"Proc. GLSVLSI","author":"Wu"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530408"},{"key":"ref13","article-title":"Unsupervised learning for combinatorial optimization with principled objective relaxation","volume-title":"Proc. NeurIPS","author":"Wang"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3494523"},{"key":"ref15","article-title":"Heterogeneous integration roadmap","author":"Society"},{"key":"ref16","article-title":"Cktgnn: Circuit graph neural network for electronic design automation","volume-title":"Proc. ICLR","author":"Dong"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2021.3110807"},{"key":"ref18","article-title":"Learning semantic representations to verify hardware designs","volume-title":"Proc. NeurIPS","author":"Vasudevan"},{"key":"ref19","article-title":"Semi-supervised classification with graph convolutional networks","author":"Kipf","year":"2016","journal-title":"arXiv preprint arXiv:1609.02907"},{"key":"ref20","article-title":"How powerful are graph neural networks?","volume-title":"Proc. ICLR","author":"Xu"},{"key":"ref21","article-title":"Rethinking graph transformers with spectral attention","volume-title":"Proc. NeurIPS","author":"Kreuzer"},{"key":"ref22","article-title":"Transformer for graphs: An overview from architecture perspective","author":"Min","year":"2022","journal-title":"arXiv preprint arXiv:2202.08455"},{"key":"ref23","article-title":"Magnet: A neural network for directed graphs","volume-title":"Proc. NeurIPS","author":"Zhang"},{"key":"ref24","article-title":"Transformers meet directed graphs","volume-title":"Proc. ICML","author":"Geisler"},{"key":"ref25","first-page":"5812","article-title":"Graph contrastive learning with augmentations","volume":"33","author":"You","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref26","article-title":"Deep graph contrastive representation learning","author":"Zhu","year":"2020","journal-title":"arXiv preprint arXiv:2006.04131"},{"key":"ref27","article-title":"Recipe for a general, powerful, scalable graph transformer","volume-title":"Proc. NeurIPS","author":"Ramp\u00e1\u0161ek"},{"key":"ref28","article-title":"Openabc-d: A largescale dataset for machine learning guided integrated circuit synthesis","volume-title":"arXiv preprint arXiv:2110.11292","author":"Chowdhury","year":"2021"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323798"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643581"},{"key":"ref31","article-title":"Edge directionality improves learning on heterophilic graphs","volume-title":"Learning on Graphs Conference","author":"Rossi"},{"key":"ref32","article-title":"Spectral-based graph convolutional network for directed graphs","author":"Ma","year":"2019","journal-title":"arXiv preprint arXiv:1907.08990"},{"key":"ref33","article-title":"Benchmarking graph neural networks","author":"Dwivedi","year":"2023","journal-title":"JMLR"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539296"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.acha.2017.01.004"},{"key":"ref36","article-title":"Equivariant and stable positional encoding for more powerful graph neural networks","volume-title":"Proc. ICLR","author":"Wang"},{"key":"ref37","article-title":"On the stability of expressive positional encodings for graph neural networks","volume-title":"Proc. ICLR","author":"Huang"},{"key":"ref38","article-title":"Deep graph infomax","author":"Veli\u010dkovi\u0107","year":"2018","journal-title":"arXiv preprint arXiv:1809.10341"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3485447.3512156"},{"key":"ref40","first-page":"21798","article-title":"Hard negative mixing for contrastive learning","volume":"33","author":"Kalantidis","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref41","first-page":"24332","article-title":"Progcl: Rethinking hard negative mining in graph contrastive learning","volume-title":"International Conference on Machine Learning","author":"Xia"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3624018"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref44","article-title":"Graph neural networks exponentially lose expressive power for node classification","volume-title":"Proc. ICLR","author":"Oono"},{"key":"ref45","article-title":"On the bottleneck of graph neural networks and its practical implications","volume-title":"Proc. ICLR","author":"Alon"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33014602"},{"key":"ref47","article-title":"An experimental comparison of partitioning strategies for distributed graph neural network training","author":"Merkel","year":"2023","journal-title":"arXiv preprint arXiv:2308.15602"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref49","article-title":"Understanding algebraic rewriting for arithmetic circuit verification: a bit-flow model","author":"Ciesielski","year":"2019"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"ref51","article-title":"Common evaluation platform"},{"key":"ref52","article-title":"Opencores hardware rtl designs"},{"key":"ref53","article-title":"Iwls 2005 benchmarks","volume-title":"Proc. IWLS","author":"Albrecht"},{"key":"ref54","article-title":"Fast graph representation learning with PyTorch Geometric","volume-title":"ICLR Workshop on Representation Learning on Graphs and Manifolds","author":"Fey"},{"key":"ref55","article-title":"Logic synthesis and optimization benchmarks user guide: version 3.0. Microelectronics Center of North Carolina (MCNC)","author":"Yang"},{"key":"ref56","first-page":"214335","article-title":"The epfl combinational benchmark suite","author":"Amar\u00fa","year":"2015","journal-title":"Hypotenuse"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372671"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ispras64596.2024.10899140"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"}],"event":{"name":"2026 27th International Symposium on Quality Electronic Design (ISQED)","location":"San Francisco, CA, USA","start":{"date-parts":[[2026,4,8]]},"end":{"date-parts":[[2026,4,10]]}},"container-title":["2026 27th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11534651\/11534652\/11534708.pdf?arnumber=11534708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T04:25:31Z","timestamp":1780028731000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11534708\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,8]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/isqed69900.2026.11534708","relation":{},"subject":[],"published":{"date-parts":[[2026,4,8]]}}}