Zhengyuan Shi

Orcid: 0000-0002-2186-9579

According to our database¹, Zhengyuan Shi authored at least 45 papers between 2019 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

CktEvo: Repository-Level RTL Code Benchmark for Design Evolution.

[BibT_eX]

[DOI]

CoRR, March, 2026

Rethinking Clause Management for CDCL SAT Solvers.

[BibT_eX]

[DOI]

CoRR, February, 2026

GNN-based Path-aware multi-view Circuit Learning for Technology Mapping.

[BibT_eX]

[DOI]

CoRR, January, 2026

DeepCut: Structure-Aware GNN Framework for Efficient Cut Timing Prediction in Logic Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models.

[BibT_eX]

[DOI]

Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

DynamicRTL: RTL Representation Learning for Dynamic Circuit Behavior.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Alignment Unlocks Complementarity: A Framework for Multiview Circuit Representation Learning.

[BibT_eX]

[DOI]

CoRR, September, 2025

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities.

[BibT_eX]

[DOI]

CoRR, August, 2025

MMCircuitEval: A Comprehensive Multimodal Circuit-Focused Benchmark for Evaluating LLMs.

[BibT_eX]

[DOI]

CoRR, July, 2025

ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA.

[BibT_eX]

[DOI]

CoRR, May, 2025

Customized FPGA Implementation of Authenticated Lightweight Cipher Fountain for IoT Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., March, 2025

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis.

[BibT_eX]

[DOI]

CoRR, February, 2025

DeepCell: Multiview Representation Learning for Post-Mapping Netlists.

[BibT_eX]

[DOI]

CoRR, February, 2025

Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

MMCircuitEval: A Comprehensive Multimodal Circuit-Focused Benchmark for Evaluating LLMs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

WideGate: Beyond Directed Acyclic Graph Learning in Subcircuit Boundary Prediction.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference, 2025

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

Late Breaking Results: Hybrid Logic Optimization with Predictive Self-Supervision.

[BibT_eX]

[DOI]

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

DynamicSAT: Dynamic Configuration Tuning for SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia and South Pacific Design Automation Conference, 2025

DeepRTL2: A Versatile Model for RTL-Related Tasks.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2025

2024

EDA-Driven Preprocessing for SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2024

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

CoRR, 2024

Erratum to: Large circuit models: opportunities and challenges.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

Sci. China Inf. Sci., 2024

Large circuit models: opportunities and challenges.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

Sci. China Inf. Sci., 2024

DeepGate3: Towards Scalable Circuit Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

DeepSeq: Deep Sequential Circuit Learning.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Design Space Exploration of Galois and Fibonacci Configuration Based on Espresso Stream Cipher.

[BibT_eX]

[DOI]

ACM Trans. Reconfigurable Technol. Syst., September, 2023

Hardware Optimizations of Fruit-80 Stream Cipher: Smaller than Grain.

[BibT_eX]

[DOI]

ACM Trans. Reconfigurable Technol. Syst., June, 2023

Addressing Variable Dependency in GNN-based SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2023

DeepGate2: Functionality-Aware Circuit Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SATformer: Transformer-Based UNSAT Core Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

On EDA-Driven Learning for SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

SATformer: Transformers for SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2022

DeepSAT: An EDA-Driven Learning Framework for SAT.

[BibT_eX]

[DOI]

CoRR, 2022

DeepTPI: Test Point Insertion with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2022

DeepGate: learning neural representations of logic gates.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Work-in-Progress: Towards a Smaller than Grain Stream Cipher: Optimized FPGA Implementations of Fruit-80.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2022

2021

Design Space Exploration of Galois and Fibonacci Configuration based on Espresso Stream Cipher.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Representation Learning of Logic Circuits.

[BibT_eX]

[DOI]

CoRR, 2021

Testability-Aware Low Power Controller Design with Evolutionary Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2021

2019

From Courses to Contests: A Full Levels Project-driven Innovative Education Curriculum Struct.

[BibT_eX]

[DOI]

Zhengyuan Shi

Pengwei Wang

Proceedings of the ICDTE 2019: The 3rd International Conference on Digital Technology in Education, 2019

Zhengyuan Shi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...