Fetching the paper…
Reading the bibliography…
We present a scalable and precise verifier for recurrent neural networks, called Prover based on two novel ideas: (i) a method to compute a set of polyhedral abstractions for the non-convex and nonlinear recurrent update functions by combining sampling, optimization, and Fermat's theorem, and (ii) a gradient descent based algorithm for abstraction refinement guided by the certification problem that combines multiple abstractions for each neuron.
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. Principles of Programming Languages. ACM (1977)
1977
Earlier work this paper cites.
Angluin, D.: Learning regular sets from queries and counterexamples. Information and computation 75
1987
Earlier work this paper cites.
Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Comput. 9
1997
Earlier work this paper cites.
Miné, A.: A new numerical abstract domain based on difference-bound matrices. In: Proc. Programs As Data Objects (PADO). pp. 155–172 (2001)
2001
Earlier work this paper cites.
Miné, A.: The octagon abstract domain. Higher Order and Symbolic Computation 19
2006
Earlier work this paper cites.
Sahidullah, M., Saha, G.: Design, analysis and experimental evaluation of block based transformation in mfcc computation for speaker recognition. Speech Communication 54
2012
Earlier work this paper cites.
Biggio, B., Corona, I., Maiorca, D., Nelson, B., Šrndić, N., Laskov, P., Giacinto, G., Roli, F.: Evasion attacks against machine learning at test time. In: Joint European conference on machine learning and knowledge discovery in databases (2013)
2013
Earlier work this paper cites.
2013
Earlier work this paper cites.
Cho, K., van Merrienboer, B., Gülçehre, Ç., Bahdanau, D., Bougares, F., Schwenk, H., Bengio, Y.: Learning phrase representations using RNN encoder-decoder for statistical machine translation. In: EMNLP. pp. 1724–1734 (2014)
2014
Earlier work this paper cites.
2014
Earlier work this paper cites.
Kingma, D.P., Ba, J.: Adam: A method for stochastic optimization. arXiv:1412.6980 (2014)
2014
Earlier work this paper cites.
Sainath, T.N., Weiss, R.J., Senior, A., Wilson, K.W., Vinyals, O.: Learning the speech front-end with raw waveform cldnns. In: Sixteenth Annual Conference of the International Speech Communication Association (2015)
2015
Earlier work this paper cites.
Carlini, N., Mishra, P., Vaidya, T., Zhang, Y., Sherr, M., Shields, C., Wagner, D., Zhou, W.: Hidden voice commands. In: 25th { \{ USENIX } \} Security Symposium ( { \{ USENIX } \} Security 16). pp. 513–530 (2016)
2016
Earlier work this paper cites.
Papernot, N., McDaniel, P., Swami, A., Harang, R.: Crafting adversarial input sequences for recurrent neural networks. In: MILCOM 2016-2016 IEEE Military Communications Conference. pp. 49–54. IEEE (2016)
2016
Earlier work this paper cites.
Reyes-Ortiz, J.L., Oneto, L., Samà, A., Parra, X., Anguita, D.: Transition-aware human activity recognition using smartphones. Neurocomputing 171
2016
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Cited alongside, same era.
Paszke, A., Gross, S., Chintala, S., Chanan, G., Yang, E., DeVito, Z., Lin, Z., Desmaison, A., Antiga, L., Lerer, A.: Automatic differentiation in pytorch (2017)
2017
Cited alongside, same era.
Sabour, S., Frosst, N., Hinton, G.E.: Dynamic routing between capsules. In: Proc. Neural Information Processing Systems (NIPS), pp. 3856–3866 (2017)
2017
Cited alongside, same era.
Singh, G., Püschel, M., Vechev, M.: Fast polyhedra abstract domain. In: Proc. Principles of Programming Languages (POPL). pp. 46–59 (2017)
2017
Cited alongside, same era.
Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A.N., Kaiser, L.u., Polosukhin, I.: Attention is all you need. In: Proc. Neural Information Processing Systems (NIPS) (2017)
Ko, C., Lyu, Z., Weng, T., Daniel, L., Wong, N., Lin, D.: Popqorn: Certifying robustness of recurrent neural networks. In: International Conference on Machine Learning (ICML) (2019)
2019
Later among the works it cites.
Li, J., Qu, S., Li, X., Szurley, J., Kolter, J.Z., Metze, F.: Adversarial music: Real world audio adversary against wake-word detection system. In: Advances in Neural Information Processing Systems. pp. 11908–11918 (2019)
2019
Later among the works it cites.
2019
Later among the works it cites.
2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2017
Cited alongside, same era.
Carlini, N., Wagner, D.: Audio adversarial examples: Targeted attacks on speech-to-text. In: 2018 IEEE Security and Privacy Workshops (SPW) (2018)
2018
Cited alongside, same era.
Diro, A., Chilamkurti, N.: Leveraging lstm networks for attack detection in fog-to-things communications. IEEE Communications Magazine 56
2018
Cited alongside, same era.
2018
Cited alongside, same era.
Pachocki, J., Brockman, G., Raiman, J., Zhang, S., Pondé, H., Tang, J., Wolski, F., Dennison, C., Jozefowicz, R., Debiak, P., et al.: Openai five. URL https://blog. openai. com/openai-five (2018)
2018
Cited alongside, same era.
Raghunathan, A., Steinhardt, J., Liang, P.S.: Semidefinite relaxations for certifying robustness to adversarial examples. In: Advances in Neural Information Processing Systems (NeurIPS), pp. 10877–10887 (2018)
2018
Cited alongside, same era.
Singh, G., Gehr, T., Mirman, M., Püschel, M., Vechev, M.: Fast and effective robustness certification. In: Advances in Neural Information Processing Systems (2018)
2018
Cited alongside, same era.
2018
Cited alongside, same era.
Qin, Y., Carlini, N., Goodfellow, I., Cottrell, G., Raffel, C.: Imperceptible, robust, and targeted adversarial examples for automatic speech recognition. In: International Conference on Machine Learning (ICML) (2019)
2019
Later among the works it cites.
Singh, G., Ganvir, R., Püschel, M., Vechev, M.: Beyond the single neuron convex barrier for neural network certification. In: Advances in Neural Information Processing Systems (2019)
2019
Later among the works it cites.
Singh, G., Gehr, T., Püschel, M., Vechev, M.: An abstract domain for certifying neural networks. Proc. Principles of Programming Languages (POPL) (2019)
2019
Later among the works it cites.
Vinyals, O., Babuschkin, I., Chung, J., Mathieu, M., Jaderberg, M., Czarnecki, W.M., Dudzik, A., Huang, A., Georgiev, P., Powell, R., et al.: Alphastar: Mastering the real-time strategy game starcraft ii. DeepMind blog p. 2 (2019)
2019
Later among the works it cites.
2019
Later among the works it cites.
Yang, Z., Li, B., Chen, P.Y., Song, D.: Characterizing audio adversarial examples using temporal dependency (2019)
2019
Later among the works it cites.
Balunovic, M., Vechev, M.: Adversarial training and provable defenses: Bridging the gap. In: International Conference on Learning Representations (2020)
2020
Closest in time.
2020
Closest in time.
Jackson, Z.: Free spoken digit dataset. https://github.com/Jakobovski/free-spoken-digit-dataset (2020)
2020
Closest in time.
2020
Closest in time.