View in EDS PDF Full Text

Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.

Saved in:
Bibliographic Details
Title: Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
Authors: Liu, Jiaxiang1, jiaxiang0924@gmail.com, Xing, Yunhan1, xingyunhan@email.szu.edu.cn, Shi, Xiaomu2, shixm@ios.ac.cn, Song, Fu2, songfu@ios.ac.cn, Xu, Zhiwu1, xuzhiwu@szu.edu.cn, Ming, Zhong3, mingz@szu.edu.cn
Source: ACM Transactions on Software Engineering & Methodology; Jun2024, Vol. 33 Issue 5, p1-35, 35p
Database: Applied Science & Technology Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 177675163
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Liu%2C+Jiaxiang%22">Liu, Jiaxiang</searchLink><relatesTo>1</relatesTo>, <i>jiaxiang0924@gmail.com</i><br /><searchLink fieldCode="AU" term="%22Xing%2C+Yunhan%22">Xing, Yunhan</searchLink><relatesTo>1</relatesTo>, <i>xingyunhan@email.szu.edu.cn</i><br /><searchLink fieldCode="AU" term="%22Shi%2C+Xiaomu%22">Shi, Xiaomu</searchLink><relatesTo>2</relatesTo>, <i>shixm@ios.ac.cn</i><br /><searchLink fieldCode="AU" term="%22Song%2C+Fu%22">Song, Fu</searchLink><relatesTo>2</relatesTo>, <i>songfu@ios.ac.cn</i><br /><searchLink fieldCode="AU" term="%22Xu%2C+Zhiwu%22">Xu, Zhiwu</searchLink><relatesTo>1</relatesTo>, <i>xuzhiwu@szu.edu.cn</i><br /><searchLink fieldCode="AU" term="%22Ming%2C+Zhong%22">Ming, Zhong</searchLink><relatesTo>3</relatesTo>, <i>mingz@szu.edu.cn</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ACM+Transactions+on+Software+Engineering+%26+Methodology%22">ACM Transactions on Software Engineering & Methodology</searchLink>; Jun2024, Vol. 33 Issue 5, p1-35, 35p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=177675163
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3644387
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 35
        StartPage: 1
    Titles:
      – TitleFull: Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Liu, Jiaxiang
      – PersonEntity:
          Name:
            NameFull: Xing, Yunhan
      – PersonEntity:
          Name:
            NameFull: Shi, Xiaomu
      – PersonEntity:
          Name:
            NameFull: Song, Fu
      – PersonEntity:
          Name:
            NameFull: Xu, Zhiwu
      – PersonEntity:
          Name:
            NameFull: Ming, Zhong
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 06
              Text: Jun2024
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 1049331X
          Numbering:
            – Type: volume
              Value: 33
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: ACM Transactions on Software Engineering & Methodology
              Type: main
ResultId 1