9 citations · 9 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023★ 9 cited
LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation
Zixi Zhang, Balint Szekely, Pedro Gimenes +5
Hardware design verification (DV) is a process that checks the functional equivalence of a hardware design against its specifications, improving hardware reliability and robustness…
cs.CV2023
Human-Producible Adversarial Examples
David Khachaturov, Yue Gao, Ilia Shumailov +3
Visual adversarial examples have so far been restricted to pixel-level image manipulations in the digital world, or have required sophisticated equipment such as 2D or 3D printers…