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

119 citations · 127 across the 10 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

Burak Ekici, Guy Katz, Chantal Keller +3

This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic…