Zhengyuan Shi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
10
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | DynamicRTL: RTL Representation Learning for Dynamic Circuit Behavior. | Ruiyang Ma, Yunhao Zhou, Yipeng Wang, Yi Liu, Zhengyuan Shi, Ziyang Zheng, Kexin Chen, Zhiqiang He, Lingwei Yan, Gang Chen, Qiang Xu, Guojie Luo |
| 2026 | ASPDAC | AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models. | Chenhao Xue, Kezhi Li, Jiaxing Zhang, Yi Ren, Zhengyuan Shi, Chen Zhang, Yibo Lin, Lining Zhang, Qiang Xu, Guangyu Sun |
| 2026 | ASPDAC | DeepCut: Structure-Aware GNN Framework for Efficient Cut Timing Prediction in Logic Synthesis. | Lingfeng Zhou, Yilong Zhou, Hao Gong, Zhengyuan Shi, Qiang Xu, Zhufei Chu, Yue Wu, Xiaoyan Yang |
| 2025 | ACL | DeepRTL2: A Versatile Model for RTL-Related Tasks. | Yi Liu, Hongji Zhang, Yunhao Zhou, Zhengyuan Shi, Changran Xu, Qiang Xu |
| 2025 | ASPDAC | DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations. | Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu |
| 2025 | CP | DynamicSAT: Dynamic Configuration Tuning for SAT Solving. | Zhengyuan Shi, Wentao Jiang, Xindi Zhang, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu |
| 2025 | DAC | Late Breaking Results: Hybrid Logic Optimization with Predictive Self-Supervision. | Rongliang Fu, Ran Zhang, Ziyang Zheng, Zhengyuan Shi, Yuan Pu, Junying Huang, Qiang Xu, Tsung-Yi Ho |
| 2025 | DAC | Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. | Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu |
| 2025 | DATE | WideGate: Beyond Directed Acyclic Graph Learning in Subcircuit Boundary Prediction. | Jiawei Liu, Zhiyan Liu, Xun He, Jianwang Zhai, Zhengyuan Shi, Qiang Xu, Bei Yu, Chuan Shi |
| 2025 | ICCAD | DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning. | Zhengyuan Shi, Chengyu Ma, Ziyang Zheng, Lingfeng Zhou, Hongyang Pan, Wentao Jiang, Fan Yang, Xiaoyan Yang, Zhufei Chu, Qiang Xu |
| 2025 | ICCAD | MMCircuitEval: A Comprehensive Multimodal Circuit-Focused Benchmark for Evaluating LLMs. | Chenchen Zhao, Zhengyuan Shi, Xiangyu Wen, Chengjie Liu, Yi Liu, Yunhao Zhou, Yuxiang Zhao, Hefei Feng, Yinan Zhu, Gwok-Waa Wan, Xin Cheng, Weiyu Chen, Yongqi Fu, Chujie Chen, Chenhao Xue, Ying Wang, Yibo Lin, Jun Yang, Ning Xu, Xi Wang, Qiang Xu |
| 2025 | ICLR | DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale. | Ziyang Zheng, Shan Huang, Jianyuan Zhong, Zhengyuan Shi, Guohao Dai, Ningyi Xu, Qiang Xu |
| 2024 | DATE | DeepSeq: Deep Sequential Circuit Learning. | Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu |
| 2024 | DATE | AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction. | Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang |
| 2024 | ICCAD | DeepGate3: Towards Scalable Circuit Representation Learning. | Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu |
| 2023 | DAC | On EDA-Driven Learning for SAT Solving. | Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu |
| 2023 | ICCAD | SATformer: Transformer-Based UNSAT Core Learning. | Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu |
| 2023 | ICCAD | DeepGate2: Functionality-Aware Circuit Representation Learning. | Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu |
| 2022 | CASES | Work-in-Progress: Towards a Smaller than Grain Stream Cipher: Optimized FPGA Implementations of Fruit-80. | Gangqiang Yang, Zhengyuan Shi, Cheng Chen, Hailiang Xiong, Honggang Hu, Zhiguo Wan, Keke Gai, Meikang Qiu |
| 2022 | DAC | DeepGate: learning neural representations of logic gates. | Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu |
| 2022 | ITC | DeepTPI: Test Point Insertion with Deep Reinforcement Learning. | Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu |
| 2021 | ITC | Testability-Aware Low Power Controller Design with Evolutionary Learning. | Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu |