Zhiyuan Yan

According to our database, Zhiyuan Yan authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Word-Level Counterexample Reduction Methods for Hardware Verification.

Zhiyuan Yan, Hongce Zhang

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

AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs.

Zhiyuan Yan, Wenji Fang, Mengming Li, Min Li, Shang Liu, Zhiyao Xie, Hongce Zhang

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

2024

AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs.

Wenji Fang, Mengming Li, Min Li, Zhiyuan Yan, Shang Liu, Hongce Zhang, Zhiyao Xie

CoRR, 2024

Word-Level Augmentation of Formal Proof by Learning from Simulation Traces.

Zhiyuan Yan, Hongce Zhang

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

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

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang

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

2023

Addressing Variable Dependency in GNN-based SAT Solving.

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang

CoRR, 2023