activity
20152023
most citedTowards Proving the Adversarial Robustness of Deep Neural Networks

119 citations · 163 across the 20 of their papers we have counts for

collaborators
Showing 2015 · cs.LOShow all

1 paper · 2 filters

cs.LO2015★ 3 cited

On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4

Andrew Reynolds, Morgan Deters, Viktor Kuncak +2

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negate…