{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T07:10:27Z","timestamp":1737443427720,"version":"3.33.0"},"reference-count":9,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:00:00Z","timestamp":1728172800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:00:00Z","timestamp":1728172800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,6]]},"DOI":"10.1109\/smc54092.2024.10831437","type":"proceedings-article","created":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:39:20Z","timestamp":1737398360000},"page":"5319-5324","source":"Crossref","is-referenced-by-count":0,"title":["Optimization of Neural Network Models Based on Symbol Interval Propagation"],"prefix":"10.1109","author":[{"given":"Xuejian","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Anhui University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zihan","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Anhui University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"N2n learning: Network to network compression via policy gradient reinforcement learning[J}","year":"2017","author":"Ashok","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/tpami.2015.2502579"},{"journal-title":"Distilling the knowledge in a neural network[J]","year":"2015","author":"Hinton","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"journal-title":"An Abstraction-Based Framework for Neural Network Verification[J]","year":"2019","author":"Y","key":"ref5"},{"key":"ref6","first-page":"1599","article-title":"Formal security analysis of neural networks using symbolic intervals[C]","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Wang"},{"journal-title":"Efficient formal safety analysis of neural networks[J}","year":"2018","author":"Wang","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.155"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778091"}],"event":{"name":"2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","start":{"date-parts":[[2024,10,6]]},"location":"Kuching, Malaysia","end":{"date-parts":[[2024,10,10]]}},"container-title":["2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10830919\/10830920\/10831437.pdf?arnumber=10831437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T06:39:48Z","timestamp":1737441588000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10831437\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/smc54092.2024.10831437","relation":{},"subject":[],"published":{"date-parts":[[2024,10,6]]}}}