External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Improving Neural Network Verification through Spurious Region Guided Refinement

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang. Improving Neural Network Verification through Spurious Region Guided Refinement. In Jan Friso Groote, Kim Guldstrand Larsen, editors, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Volume 12651 of Lecture Notes in Computer Science, pages 389-408, Springer, 2021. [doi]

Authors

Pengfei Yang

This author has not been identified. Look up 'Pengfei Yang' in Google

Renjue Li

This author has not been identified. Look up 'Renjue Li' in Google

Jianlin Li

This author has not been identified. Look up 'Jianlin Li' in Google

Cheng-Chao Huang

This author has not been identified. Look up 'Cheng-Chao Huang' in Google

Jingyi Wang

This author has not been identified. It may be one of the following persons: Look up 'Jingyi Wang' in Google

Jun Sun

This author has not been identified. It may be one of the following persons: Look up 'Jun Sun' in Google

Bai Xue

This author has not been identified. Look up 'Bai Xue' in Google

Lijun Zhang

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang' in Google
runs on