ResearchTrend.AI
Constraint-based Adversarial Example Synthesis

Constraint-based Adversarial Example Synthesis

Fang Yu
Ya-Yu Chi
Yu-Fang Chen
    AAML
ArXivPDFHTML

Papers citing "Constraint-based Adversarial Example Synthesis"

1 / 1 papers shown
Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,842
0
03 Feb 2017