19 citations · 48 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 3 cited
DeepSAT: An EDA-Driven Learning Framework for SAT
Min Li, Zhengyuan Shi, Qiuxia Lai +3
We present DeepSAT, a novel end-to-end learning framework for the Boolean satisfiability (SAT) problem. Unlike existing solutions trained on random SAT instances with relatively we…
cs.CR2022★ 19 cited
What You See is Not What the Network Infers: Detecting Adversarial Examples Based on Semantic Contradiction
Yijun Yang, Ruiyuan Gao, Yu Li +2
Adversarial examples (AEs) pose severe threats to the applications of deep neural networks (DNNs) to safety-critical domains, e.g., autonomous driving. While there has been a vast…