Fetching the paper…
Reading the bibliography…
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors.
1912
Earlier work this paper cites.
M. Fischer, M. Balunovic, D. Drachsler-Cohen, T. Gehr, C. Zhang, and M. Vechev, “Dl2: training and querying neural networks with logic,” in International Conference on Machine Learning . PMLR, 2019, pp. 1931–1941
1941
Earlier work this paper cites.
J. Kennedy and R. Eberhart, “Particle swarm optimization,” in Proceedings of ICNN’95-international conference on neural networks , vol. 4. IEEE, 1995, pp. 1942–1948
1948
Earlier work this paper cites.
M. Okamoto, “Some inequalities relating to the partial sum of binomial probabilities,” Annals of the Institute of Statistical Mathematics , vol. 10, no. 1, pp. 29–35, 1959
1959
Earlier work this paper cites.
R. Storn and K. Price, “Differential evolution-a simple and efficient heuristic for global optimization over continuous spaces,” Journal of global optimization , vol. 11, no. 4, p. 341, 1997
1997
Earlier work this paper cites.
Y. Shi and R. C. Eberhart, “Parameter selection in particle swarm optimization,” in Evolutionary Programming VII: 7th International Conference . Springer, 1998, pp. 591–600
1998
Earlier work this paper cites.
K. Xu, M. Xie, L. C. Tang, and S. L. Ho, “Application of neural networks in forecasting engine systems reliability,” Appl. Soft Comput. , vol. 2, no. 4, pp. 255–268, 2003. [Online]. Available: https://doi.org/10.1016/S1568-4946(02)00059-5
2003
Earlier work this paper cites.
2005
Earlier work this paper cites.
T. M. Mitchell et al. , Machine learning . McGraw-hill New York, 2007, vol. 1
2007
Earlier work this paper cites.
R. Poli, J. Kennedy, and T. Blackwell, “Particle swarm optimization,” Swarm Intell. , vol. 1, no. 1, pp. 33–57, 2007
2007
Earlier work this paper cites.
2014
Earlier work this paper cites.
G. Katz, C. W. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, “Reluplex: An efficient SMT solver for verifying deep neural networks,” in Computer Aided Verification - 29th International Conference, CAV 2017 , ser. Lecture Notes in Computer Science, vol. 10426. Springer, 2017, pp. 97–117
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
R. Fok, A. An, and X. Wang, “Optimization assisted mcmc,” arXiv preprint arXiv:1709.02888 , 2017
2017
Earlier work this paper cites.
T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. T. Vechev, “AI2: safety and robustness certification of neural networks with abstract interpretation,” in 2018 IEEE Symposium on Security and Privacy, SP 2018 . IEEE Computer Society, 2018, pp. 3–18
2018
Earlier work this paper cites.
W. Shen, J. Wan, and Z. Chen, “Munn: Mutation analysis of neural networks,” in 2018 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2018 . IEEE, 2018, pp. 108–115
2018
Earlier work this paper cites.
Y. Tian, K. Pei, S. Jana, and B. Ray, “Deeptest: automated testing of deep-neural-network-driven autonomous cars,” in Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 . ACM, 2018, pp. 303–314
2018
Earlier work this paper cites.
2018
Earlier work this paper cites.
G. Agha and K. Palmskog, “A survey of statistical model checking,” ACM Transactions on Modeling and Computer Simulation (TOMACS) , vol. 28, no. 1, pp. 1–39, 2018
2018
Earlier work this paper cites.
2018
Earlier work this paper cites.
A. Bosio, P. Bernardi, A. Ruospo, and E. Sánchez, “A reliability analysis of a deep neural network,” in IEEE Latin American Test Symposium, LATS 2019, Santiago, Chile, March 11-13, 2019 . IEEE, 2019, pp. 1–6. [Online]. Available: https://doi.org/10.1109/LATW.2019.8704548
2019
Earlier work this paper cites.
G. Singh, T. Gehr, M. Püschel, and M. T. Vechev, “An abstract domain for certifying neural networks,” Proc. ACM Program. Lang. , vol. 3, no. POPL, pp. 41:1–41:30, 2019
2019
Cited alongside, same era.
C. Ko, Z. Lyu, L. Weng, L. Daniel, N. Wong, and D. Lin, “POPQORN: quantifying robustness of recurrent neural networks,” in Proceedings of the 36th International Conference on Machine Learning, ICML 2019 , ser. Proceedings of Machine Learning Research, vol. 97. PMLR, 2019, pp. 3468–3477
2019
Cited alongside, same era.
V. Tjeng, K. Y. Xiao, and R. Tedrake, “Evaluating robustness of neural networks with mixed integer programming,” in 7th International Conference on Learning Representations, ICLR 2019 . OpenReview.net, 2019
2019
Cited alongside, same era.
W. Lin, Z. Yang, X. Chen, Q. Zhao, X. Li, Z. Liu, and J. He, “Robustness verification of classification deep neural networks via linear programming,” in IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019 . Computer Vision Foundation / IEEE, 2019, pp. 11 418–11 427
M. Dahnert, J. Hou, M. Nießner, and A. Dai, “Panoptic 3d scene reconstruction from a single rgb image,” Advances in Neural Information Processing Systems , vol. 34, 2021
2021
Later among the works it cites.
2021
Later among the works it cites.
2021
Later among the works it cites.
R. C. Berwick, “The failure of deep neural networks to capture human language’s cognitive core,” in 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2021 . IEEE, 2021, p. 3
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2019
Cited alongside, same era.
X. Xie, L. Ma, F. Juefei-Xu, M. Xue, H. Chen, Y. Liu, J. Zhao, B. Li, J. Yin, and S. See, “Deephunter: a coverage-guided fuzz testing framework for deep neural networks,” in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019 . ACM, 2019, pp. 146–157
2019
Cited alongside, same era.
C. Huang, J. Fan, W. Li, X. Chen, and Q. Zhu, “Reachnn: Reachability analysis of neural-network controlled systems,” ACM Transactions on Embedded Computing Systems (TECS) , vol. 18, no. 5s, pp. 1–22, 2019
2019
Cited alongside, same era.
A. Legay, A. Lukina, L. Traonouez, J. Yang, S. A. Smolka, and R. Grosu, “Statistical model checking,” in Computing and Software Science - State of the Art and Perspectives , ser. Lecture Notes in Computer Science. Springer, 2019, vol. 10000, pp. 478–504
2019
Cited alongside, same era.
H. F. Eniser, S. Gerasimou, and A. Sen, “Deepfault: Fault localization for deep neural networks,” in Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019 , ser. Lecture Notes in Computer Science, vol. 11424. Springer, 2019, pp. 171–191
2019
Cited alongside, same era.
D. Gopinath, H. Converse, C. S. Pasareanu, and A. Taly, “Property inference for deep neural networks,” in 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 . IEEE, 2019, pp. 797–809
2019
Cited alongside, same era.
A. Hern, “Facebook translates ’good morning’ into ’attack them’, leading to arrest,” https://www.theguardian.com/technology/2017/oct/24/facebook-palestine-israel-translates-good-morning-attack-them-arrest
2020
Cited alongside, same era.
K. Hill, “Wrongfully accused by an algorithm,” New York Times. https://www.nytimes.com/2020/06/24/technology/facial-recognition-arrest.html
2020
Cited alongside, same era.
D. Lee, “US opens investigation into Tesla after fatal crash,” BBC. https://www.bbc.co.uk/news/technology-36680043
2020
Cited alongside, same era.
P. Yang, J. Li, J. Liu, C. C. Huang, R. Li, L. Chen, X. Huang, and L. Zhang, “Enhancing robustness verification for deep neural networks viasymbolic propagation,” Formal Aspects of Computing , vol. 33, no. 3, pp. 407–435, 2021
2021
Later among the works it cites.
P. Yang, R. Li, J. Li, C. Huang, J. Wang, J. Sun, B. Xue, and L. Zhang, “Improving neural network verification through spurious region guided refinement,” in Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 , ser. Lecture Notes in Computer Science, vol. 12651. Springer, 2021, pp. 389–408
2021
Later among the works it cites.
G. Amir, H. Wu, C. W. Barrett, and G. Katz, “An smt-based approach for verifying binarized neural networks,” in Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 , ser. Lecture Notes in Computer Science, vol. 12652. Springer, 2021, pp. 203–222
2021
Later among the works it cites.
B. Batten, P. Kouvaros, A. Lomuscio, and Y. Zheng, “Efficient neural network verification via layer-based semidefinite relaxations and linear cuts,” in Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 . ijcai.org, 2021, pp. 2184–2190
2021
Later among the works it cites.
X. Yang, T. T. Johnson, H.-D. Tran, T. Yamaguchi, B. Hoxha, and D. V. Prokhorov, “Reachability analysis of deep relu neural networks using facet-vertex incidence,” in HSCC , vol. 21, 2021, pp. 19–21
2021
Later among the works it cites.
M. Sotoudeh and A. V. Thakur, “Provable repair of deep neural networks,” in Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation , 2021, pp. 588–603
2021
Later among the works it cites.
M. Usman, D. Gopinath, Y. Sun, Y. Noller, and C. S. Pasareanu, “Nnrepair: Constraint-based repair of neural network classifiers,” in Computer Aided Verification - 33rd International Conference, CAV 2021 , ser. Lecture Notes in Computer Science, vol. 12759. Springer, 2021, pp. 3–25
2021
Later among the works it cites.
B. Sun, J. Sun, T. Dai, and L. Zhang, “Probabilistic verification of neural networks against group fairness,” in Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings 24 . Springer, 2021, pp. 83–102
2021
Later among the works it cites.
2021
Later among the works it cites.
2022
Later among the works it cites.
B. Sun, J. Sun, L. H. Pham, and J. Shi, “Causality-based neural network repair,” in Proceedings of the 44th International Conference on Software Engineering , 2022, pp. 338–349
2022
Later among the works it cites.
M. Casadio, E. Komendantskaya, M. L. Daggitt, W. Kokke, G. Katz, G. Amir, and I. Refaeli, “Neural network robustness as a verification property: a principled case study,” in Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I . Springer, 2022, pp. 219–231
2022
Later among the works it cites.
J. Sohn, S. Kang, and S. Yoo, “Arachne: Search based repair of deep neural networks,” ACM Transactions on Software Engineering and Methodology , 2022
2022
Later among the works it cites.
R. Li, P. Yang, C. Huang, Y. Sun, B. Xue, and L. Zhang, “Towards practical robustness analysis for dnns based on pac-model learning,” in 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022 . ACM, 2022, pp. 2189–2201
2022
Later among the works it cites.
P. Trojovskỳ and M. Dehghani, “Pelican optimization algorithm: A novel nature-inspired algorithm for engineering applications,” Sensors , vol. 22, no. 3, p. 855, 2022
2022
Later among the works it cites.
X. Yang, T. Yamaguchi, H.-D. Tran, B. Hoxha, T. T. Johnson, and D. Prokhorov, “Neural network repair with reachability analysis,” in Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022 . Springer, 2022, pp. 221–236
2022
Later among the works it cites.