Ning Wang

Affiliations:

Department of Computer Science, City University of Hong Kong, Hong Kong, SAR, China

According to our database¹, Ning Wang authored at least 9 papers between 2024 and 2026.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning.

[BibT_eX]

[DOI]

CoRR, August, 2025

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction.

[BibT_eX]

[DOI]

CoRR, April, 2025

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback.

[BibT_eX]

[DOI]

CoRR, April, 2025

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design.

[BibT_eX]

[DOI]

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

Location is Key: Leveraging LLM for Functional Bug Localization in Verilog Design.

[BibT_eX]

[DOI]

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

UVLLM: An Automated Universal RTL Verification Framework using LLMs.

[BibT_eX]

[DOI]

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

2024

Location is Key: Leveraging Large Language Model for Functional Bug Localization in Verilog.

[BibT_eX]

[DOI]

CoRR, 2024

Large Language Model for Verilog Generation with Golden Code Feedback.

[BibT_eX]

[DOI]

CoRR, 2024

Ning Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...