235 citations · 330 across the 12 of their papers we have counts for
4 papers · 1 filter
Simulator-Refined Diffusion for Radio-Frequency Inverse Design
Jinhao Liang, Jacob K. Christopher, Michael Frei +2
Diffusion models have shown potential in inverse design of printed circuit boards (PCBs), enabling the generation of layouts conditioned on target S-parameters. Despite this promis…
A Formalization of Robustness for Deep Neural Networks
Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +1
Deep neural networks have been shown to lack robustness to small input perturbations. The process of generating the perturbations that expose the lack of robustness of neural netwo…
Semantic Adversarial Deep Learning
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia
Fueled by massive amounts of data, models produced by machine-learning (ML) algorithms, especially deep neural networks, are being used in diverse domains where trustworthiness is…
Counterexample-Guided Data Augmentation
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue +3
We present a novel framework for augmenting data sets for machine learning based on counterexamples. Counterexamples are misclassified examples that have important properties for r…