Fetching the paper…
Reading the bibliography…
Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical diagnosis.
Rall, louis b., automatic differentiation: Techniques and applications. lecture notes in computer science 120
Grund, F · 1982
Earlier work this paper cites.
Gradient-based learning applied to document recognition
Lecun, Y., Bottou, L., Bengio, Y., and Haffner, P · 1998
Earlier work this paper cites.
Relational abstract domains for the detection of floating-point run-time errors
Miné, A · 2004
Earlier work this paper cites.
Learning multiple layers of features from tiny images
Krizhevsky, A · 2009
Earlier work this paper cites.
Intriguing properties of neural networks
Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I., and Fergus, R · 2013
Earlier work this paper cites.
TensorFlow: Large-scale machine learning on heterogeneous systems, 2015
Abadi, M., Agarwal, A., Barham, P., Brevdo, E., Chen, Z., Citro, C., Corrado, G. S., Davis, A., Dean, J., Devin, M., Ghemawat, S., Goodfellow, I., Harp, A., Irving, G., Isard, M., Jia, Y., Jozefowicz, R., Kaiser, L., Kudlur, M., Levenberg, J., Mané, D., Monga, R., Moore, S., Murray, D., Olah, C., Schuster, M., Shlens, J., Steiner, B., Sutskever, I., Talwar, K., Tucker, P., Vanhoucke, V., Vasudevan, V., Viégas, F., Vinyals, O., Warden, P., Wattenberg, M., Wicke, M., Yu, Y., and Zheng, X · 2015
Earlier work this paper cites.
Towards evaluating the robustness of neural networks
Carlini, N. and Wagner, D. A · 2017
Earlier work this paper cites.
Formal verification of piece-wise linear feed-forward neural networks
Ehlers, R · 2017
Earlier work this paper cites.
Reluplex: An efficient SMT solver for verifying deep neural networks
Katz, G., Barrett, C. W., Dill, D. L., Julian, K., and Kochenderfer, M. J · 2017
Earlier work this paper cites.
Automatic differentiation in pytorch
Paszke, A., Gross, S., Chintala, S., Chanan, G., Yang, E., DeVito, Z., Lin, Z., Desmaison, A., Antiga, L., and Lerer, A · 2017
Earlier work this paper cites.
Deepxplore: Automated whitebox testing of deep learning systems
Pei, K., Cao, Y., Yang, J., and Jana, S · 2017
Earlier work this paper cites.
A unified view of piecewise linear neural network verification
Bunel, R., Turkaslan, I., Torr, P. H., Kohli, P., and Kumar, M. P · 2018
Earlier work this paper cites.
Boosting adversarial attacks with momentum
Dong, Y., Liao, F., Pang, T., Su, H., Zhu, J., Hu, X., and Li, J · 2018
Earlier work this paper cites.
A dual approach to scalable verification of deep networks
Dvijotham, K., Stanforth, R., Gowal, S., Mann, T., and Kohli, P · 2018
Earlier work this paper cites.
AI2: Safety and robustness certification of neural networks with abstract interpretation
Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., and Vechev, M · 2018
Earlier work this paper cites.
On the effectiveness of interval bound propagation for training verifiably robust models
Gowal, S., Dvijotham, K., Stanforth, R., Bunel, R., Qin, C., Uesato, J., Arandjelovic, R., Mann, T. A., and Kohli, P · 2018
Cited alongside, same era.
Towards deep learning models resistant to adversarial attacks
Madry, A., Makelov, A., Schmidt, L., Tsipras, D., and Vladu, A · 2018
Cited alongside, same era.
Differentiable abstract interpretation for provably robust neural networks
Mirman, M., Gehr, T., and Vechev, M · 2018
Cited alongside, same era.
Semidefinite relaxations for certifying robustness to adversarial examples
Raghunathan, A., Steinhardt, J., and Liang, P. S · 2018
Cited alongside, same era.
Reachability analysis of deep neural networks with provable guarantees
Ruan, W., Huang, X., and Kwiatkowska, M · 2018
Cited alongside, same era.
A convex relaxation barrier to tight robustness verification of neural networks
Salman, H., Yang, G., Zhang, H., Hsieh, C., and Zhang, P · 2019
Later among the works it cites.
Evaluating robustness of neural networks with mixed integer programming
Tjeng, V., Xiao, K. Y., and Tedrake, R · 2019
Later among the works it cites.
Adversarial training and provable defenses: Bridging the gap
Balunovic, M. and Vechev, M · 2020
Closest in time.
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Dathathri, S., Dvijotham, K., Kurakin, A., Raghunathan, A., Uesato, J., Bunel, R., Shankar, S., Steinhardt, J., Goodfellow, I. J., Liang, P., and Kohli, P · 2020
Closest in time.
Exploiting verified neural networks via floating point numerical error, 2020
Jia, K. and Rinard, M · 2020
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Singh, G., Gehr, T., Mirman, M., Püschel, M., and Vechev, M · 2018
Cited alongside, same era.
Efficient formal safety analysis of neural networks
Wang, S., Pei, K., Whitehouse, J., Yang, J., and Jana, S · 2018
Cited alongside, same era.
Towards fast computation of certified robustness for ReLU networks
Weng, L., Zhang, H., Chen, H., Song, Z., Hsieh, C.-J., Daniel, L., Boning, D., and Dhillon, I · 2018
Cited alongside, same era.
Provable defenses against adversarial examples via the convex outer adversarial polytope
Wong, E. and Kolter, Z · 2018
Cited alongside, same era.
Efficient neural network robustness certification with general activation functions
Zhang, H., Weng, T.-W., Chen, P.-Y., Hsieh, C.-J., and Daniel, L · 2018
Cited alongside, same era.
Certifying geometric robustness of neural networks
Balunovic, M., Baader, M., Singh, G., Gehr, T., and Vechev, M. T · 2019
Cited alongside, same era.
Cnn-cert: An efficient framework for certifying robustness of convolutional neural networks
Boopathy, A., Weng, T.-W., Chen, P.-Y., Liu, S., and Daniel, L · 2019
Cited alongside, same era.
Robustness certification of generative models, 2020
Mirman, M., Gehr, T., and Vechev, M · 2020
Closest in time.
Learning certified individually fair representations
Ruoss, A., Balunovic, M., Fischer, M., and Vechev, M. T · 2020
Closest in time.
The convex relaxation barrier, revisited: Tightened single-neuron relaxations for neural network verification
Tjandraatmadja, C., Anderson, R., Huchette, J., Ma, W., Patel, K., and Vielma, J. P · 2020
Closest in time.
Verification of deep convolutional neural networks using imagestars
Tran, H., Bak, S., Xiang, W., and Johnson, T. T · 2020
Closest in time.
Automatic perturbation analysis for scalable certified robustness and beyond
Xu, K., Shi, Z., Zhang, H., Wang, Y., Chang, K., Huang, M., Kailkhura, B., Lin, X., and Hsieh, C · 2020
Closest in time.
Towards stable and efficient training of verifiably robust neural networks
Zhang, H., Chen, H., Xiao, C., Gowal, S., Stanforth, R., Li, B., Boning, D., and Hsieh, C.-J · 2020
Closest in time.
Deepcert: Verification of contextually relevant robustness for neural network image classifiers, 2021
Paterson, C., Wu, H., Grese, J., Calinescu, R., Pasareanu, C. S., and Barrett, C · 2021
Closest in time.
Efficient certification of spatial robustness
Ruoss, A., Baader, M., Balunovic, M., and Vechev, M. T · 2021
Closest in time.
Fooling a complete neural network verifier
Zombori, D., Bánhelyi, B., Csendes, T., Megyeri, I., and Jelasity, M · 2021
Closest in time.