Zhiyuan Yan

Affiliations:

Hong Kong University of Science and Technology, Guangzhou, China

According to our database¹, Zhiyuan Yan authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

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

[BibT_eX]

[DOI]

CoRR, 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

2023

Addressing Variable Dependency in GNN-based SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2023

Zhiyuan Yan

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...