Fetching the paper…
Reading the bibliography…
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles.
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. pp. 238–252 (1977)
1977
Earlier work this paper cites.
Joshi, K.D.: Introduction to general topology. New Age International (1983)
1983
Earlier work this paper cites.
Mendelson, B.: Introduction to topology. Courier Corporation (1990)
1990
Earlier work this paper cites.
Krantz, S.G., Parks, H.R.: The implicit function theorem: history, theory, and applications. Springer Science & Business Media (2002)
2002
Earlier work this paper cites.
Pulina, L., Tacchella, A.: An abstraction-refinement approach to verification of artificial neural networks. In: International Conference on Computer Aided Verification. pp. 243–257. Springer (2010)
2010
Earlier work this paper cites.
Althoff, M.: An introduction to cora 2015. In: Proc. of the workshop on applied verification for continuous and hybrid systems. pp. 120–151 (2015)
2015
Earlier work this paper cites.
Xue, B., Easwaran, A., Cho, N.J., Fränzle, M.: Reach-avoid verification for nonlinear systems based on boundary analysis. IEEE Transactions on Automatic Control 62
2016
Earlier work this paper cites.
Xue, B., She, Z., Easwaran, A.: Under-approximating backward reachable sets by polytopes. In: International Conference on Computer Aided Verification. pp. 457–476. Springer (2016)
2016
Earlier work this paper cites.
2017
Earlier work this paper cites.
Ehlers, R.: Formal verification of piece-wise linear feed-forward neural networks. In: International Symposium on Automated Technology for Verification and Analysis. pp. 269–286. Springer (2017)
2017
Earlier work this paper cites.
Gomez, A.N., Ren, M., Urtasun, R., Grosse, R.B.: The reversible residual network: Backpropagation without storing activations. Advances in neural information processing systems 30
2017
Earlier work this paper cites.
Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: International conference on computer aided verification. pp. 3–29. Springer (2017)
2017
Earlier work this paper cites.
Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: An efficient smt solver for verifying deep neural networks. In: International conference on computer aided verification. pp. 97–117. Springer (2017)
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
Ardizzone, L., Kruse, J., Rother, C., Köthe, U.: Analyzing inverse problems with invertible neural networks. In: International Conference on Learning Representations (2018)
2018
Earlier work this paper cites.
Chen, R.T., Rubanova, Y., Bettencourt, J., Duvenaud, D.K.: Neural ordinary differential equations. Advances in neural information processing systems 31
2018
Earlier work this paper cites.
Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.: Ai2: Safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE symposium on security and privacy (SP). pp. 3–18. IEEE (2018)
2018
Cited alongside, same era.
2018
Cited alongside, same era.
Singh, G., Gehr, T., Mirman, M., Püschel, M., Vechev, M.: Fast and effective robustness certification. Advances in neural information processing systems 31
2018
Cited alongside, same era.
Wang, S., Pei, K., Whitehouse, J., Yang, J., Jana, S.: Efficient formal safety analysis of neural networks. Advances in Neural Information Processing Systems 31
2018
Cited alongside, same era.
Hasani, R., Lechner, M., Amini, A., Rus, D., Grosu, R.: A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In: International Conference on Machine Learning. pp. 4082–4093. PMLR (2020)
2020
Later among the works it cites.
Ivanov, R., Carpenter, T.J., Weimer, J., Alur, R., Pappas, G.J., Lee, I.: Verifying the safety of autonomous systems with neural network controllers. ACM Transactions on Embedded Computing Systems (TECS) 20
2020
Later among the works it cites.
Lechner, M., Hasani, R., Amini, A., Henzinger, T.A., Rus, D., Grosu, R.: Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence 2
2020
Later among the works it cites.
Liu, W., Song, F., Zhang, T., Wang, J.: Verifying relu neural networks from a model checking perspective. Journal of Computer Science and Technology 35
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2018
Cited alongside, same era.
Xiang, W., Tran, H.D., Johnson, T.T.: Output reachable set estimation and verification for multilayer neural networks. IEEE transactions on neural networks and learning systems 29
2018
Cited alongside, same era.
Akintunde, M.E., Kevorchian, A., Lomuscio, A., Pirovano, E.: Verification of rnn-based neural agent-environment systems. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 33, pp. 6006–6013 (2019)
2019
Cited alongside, same era.
Behrmann, J., Grathwohl, W., Chen, R.T., Duvenaud, D., Jacobsen, J.H.: Invertible residual networks. In: International Conference on Machine Learning. pp. 573–582. PMLR (2019)
2019
Cited alongside, same era.
Dupont, E., Doucet, A., Teh, Y.W.: Augmented neural odes. Advances in Neural Information Processing Systems 32
2019
Cited alongside, same era.
Ghorbani, A., Abid, A., Zou, J.: Interpretation of neural networks is fragile. In: Proceedings of the AAAI conference on artificial intelligence. vol. 33, pp. 3681–3688 (2019)
2019
Cited alongside, same era.
Huang, C., Fan, J., Li, W., Chen, X., Zhu, Q.: Reachnn: Reachability analysis of neural-network controlled systems. ACM Transactions on Embedded Computing Systems (TECS) 18
2019
Cited alongside, same era.
Massey, W.S.: A basic course in algebraic topology, vol. 127. Springer (2019)
2019
Cited alongside, same era.
Naitzat, G., Zhitnikov, A., Lim, L.H.: Topology of deep neural networks. J. Mach. Learn. Res. 21
2020
Later among the works it cites.
Xue, B., Wang, Q., Feng, S., Zhan, N.: Over-and underapproximating reach sets for perturbed delay differential equations. IEEE Transactions on Automatic Control 66
2020
Later among the works it cites.
Dahnert, M., Hou, J., Nießner, M., Dai, A.: Panoptic 3d scene reconstruction from a single rgb image. Advances in Neural Information Processing Systems 34
2021
Later among the works it cites.
2021
Later among the works it cites.
Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S.A., Grosu, R.: On the verification of neural odes with stochastic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 35, pp. 11525–11535 (2021)
2021
Later among the works it cites.
2021
Later among the works it cites.
Liu, C., Arnon, T., Lazarus, C., Strong, C., Barrett, C., Kochenderfer, M.J., et al.: Algorithms for verifying deep neural networks. Foundations and Trends® in Optimization 4
2021
Later among the works it cites.
Tian, Y., Yang, W., Wang, J.: Image fusion using a multi-level image decomposition and fusion method. Applied Optics 60
2021
Later among the works it cites.
Yang, P., Li, R., Li, J., Huang, C.C., Wang, J., Sun, J., Xue, B., Zhang, L.: Improving neural network verification through spurious region guided refinement. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. pp. 389–408. Springer (2021)
2021
Later among the works it cites.
2021
Later among the works it cites.
2022
Closest in time.
Manzanas Lopez, D., Musau, P., Hamilton, N., Johnson, T.T.: Reachability analysis of a general class of neural ordinary differential equations. arXiv e-prints pp. arXiv–2207 (2022)
2022
Closest in time.