Generalizable Floorplanner through Corner Block List Representation and Hypergraph Embedding. - Mohammad Amini; Zhanguang Zhang; Surya Penmetsa; Yingxue Zhang 001; Jianye Hao; Wulong Liu (KDD, 2022)

Versatile Multi-stage Graph Neural Network for Circuit Representation. - Shuwen Yang; Zhihao Yang; Dong Li 016; Yingxue Zhang 001; Zhanguang Zhang; Guojie Song; Jianye Hao (NeurIPS, 2022)

Generalizable and Relation Sensitive Netlist Representation for Analog Circuit Design. - Surya Penmetsa; Fahad Rahman Amik; Zhanguang Zhang; Yingying Fu; Yingxue Zhang 001; Wulong Liu; Jianye Hao (ACM Great Lakes Symposium on VLSI, 2024)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. - Zhanguang Zhang; Didier Chételat; Joseph Cotnareanu; Amur Ghose; Wenyi Xiao; Hui-Ling Zhen; Yingxue Zhang 001; Jianye Hao; Mark Coates; Mingxuan Yuan (KDD, 2024)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation. - Joseph Cotnareanu; Zhanguang Zhang; Hui-Ling Zhen; Yingxue Zhang 001; Mark Coates (NeurIPS, 2024)

ET-Plan-Bench: Embodied Task-level Planning Benchmark Towards Spatial-Temporal Cognition with Foundation Models. - Lingfeng Zhang; Yuening Wang; Hongjian Gu; Atia Hamidizadeh; Zhanguang Zhang; Yuecheng Liu; Yutong Wang; David Gamaliel Arcos Bravo; Junyi Dong; Shunbo Zhou; Tongtong Cao; Yuzheng Zhuang; et al. (CoRR, 2024)

The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation. - Reza Moravej; Saurabh Bodhe; Zhanguang Zhang; Didier Chételat; Dimitrios Tsaras; Yingxue Zhang 001; Hui-Ling Zhen; Jianye Hao; Mingxuan Yuan (CoRR, 2024)

Graph-Based Timing Prediction at Early-Stage RTL Using Large Language Model. - Fahad Rahman Amik; Yousef Safari; Zhanguang Zhang; Boris Vaisband (ASP-DAC, 2025)

E2ESlack: An End-to-End Graph-Based Framework for Pre-Routing Slack Prediction. - Saurabh Bodhe; Zhanguang Zhang; Atia Hamidizadeh; Shixiong Kai; Yingxue Zhang 001; Mingxuan Yuan (CoRR, 2025)

SpatialCoT: Advancing Spatial Reasoning through Coordinate Alignment and Chain-of-Thought for Embodied Task Planning. - Yuecheng Liu; Dafeng Chi; Shiguang Wu 004; Zhanguang Zhang; Yaochen Hu 001; Lingfeng Zhang; Yingxue Zhang 001; Shuang Wu 005; Tongtong Cao; Guowei Huang; Helong Huang; Guangjian Tian; et al. (CoRR, 2025)

Mem2Ego: Empowering Vision-Language Models with Global-to-Ego Memory for Long-Horizon Embodied Navigation. - Lingfeng Zhang; Yuecheng Liu; Zhanguang Zhang; Matin Aghaei; Yaochen Hu 001; Hongjian Gu; Mohammad Ali Alomrani; David Gamaliel Arcos Bravo; Raika Karimi; Atia Hamidizadeh; Haoping Xu; Guowei Huang; et al. (CoRR, 2025)

One Demo Is All It Takes: Planning Domain Derivation with LLMs from A Single Demonstration. - Jinbang Huang; Yixin Xiao; Zhanguang Zhang; Mark Coates; Jianye Hao; Yingxue Zhang 001 (CoRR, 2025)

Reasoning on a Budget: A Survey of Adaptive and Controllable Test-Time Compute in LLMs. - Mohammad Ali Alomrani; Yingxue Zhang 001; Derek Li; Qianyi Sun; Soumyasundar Pal; Zhanguang Zhang; Yaochen Hu 001; Rohan Deepak Ajwani; Antonios Valkanas; Raika Karimi; Peng Cheng; Yunzhou Wang; et al. (CoRR, 2025)