1 citations · 2 across the 6 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.AR2025
FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification
Gwok-Waa Wan, Shengchu Su, Ruihu Wang +15
Despite the transformative potential of Large Language Models (LLMs) in hardware design, a comprehensive evaluation of their capabilities in design verification remains underexplor…
cs.CR2025★ 1 cited
A Survey on Backdoor Threats in Large Language Models (LLMs): Attacks, Defenses, and Evaluations
Yihe Zhou, Tao Ni, Wei-Bin Lee +1
Large Language Models (LLMs) have achieved significantly advanced capabilities in understanding and generating human language text, which have gained increasing popularity over rec…
cs.SE2025
A Contemporary Survey of Large Language Model Assisted Program Analysis
Jiayimei Wang, Tao Ni, Wei-Bin Lee +1
The increasing complexity of software systems has driven significant advancements in program analysis, as traditional methods unable to meet the demands of modern software developm…