{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T13:56:03Z","timestamp":1772114163138,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3409720","type":"proceedings-article","created":{"date-parts":[[2020,12,11]],"date-time":"2020-12-11T00:43:06Z","timestamp":1607647386000},"page":"826-837","source":"Crossref","is-referenced-by-count":60,"title":["Detecting numerical bugs in neural network architectures"],"prefix":"10.1145","author":[{"given":"Yuhao","family":"Zhang","sequence":"first","affiliation":[{"name":"Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luyao","family":"Ren","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqian","family":"Chen","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shing-Chi","family":"Cheung","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[{"name":"Peking University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,7]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781153"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"},{"key":"e_1_3_2_2_3_1","first-page":"106","volume-title":"Proceedings of the 2nd International Symposium on Programming. Dunod","author":"Cousot Patrick","year":"1976"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800022.808314"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926399"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211346.3211349"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 3rd International Conference on Learning Representations, ICLR 2015","author":"Goodfellow Ian J.","year":"2015"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040333"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375623"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338955"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268497"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_15"},{"key":"e_1_3_2_2_19_1","unstructured":"Alessio Lomuscio and Lalit Maganti. 2017. An Approach to Reachability Analysis for Feed-forward ReLU Neural Networks. CoRR abs\/1706.07351 ( 2017 ). arXiv: 1706.07351 http:\/\/arxiv.org\/abs\/1706.07351  Alessio Lomuscio and Lalit Maganti. 2017. An Approach to Reachability Analysis for Feed-forward ReLU Neural Networks. CoRR abs\/1706.07351 ( 2017 ). arXiv: 1706.07351 http:\/\/arxiv.org\/abs\/1706.07351"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668044"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of the 6th International Conference on Learning Representations, ICLR 2018","author":"Madry Aleksander","year":"2018"},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 32rd AAAI Conference on Artificial Intelligence, AAAI 2018","author":"Narodytska Nina","year":"2018"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 36th International Conference on Machine Learning, ICML 2019","author":"Odena Augustus","year":"2019"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00107"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"e_1_3_2_2_28_1","volume-title":"Proceedings of the 7th International Conference on Learning Representations, ICLR 2019","author":"Singh Gagandeep","year":"2019"},{"key":"e_1_3_2_2_29_1","unstructured":"Youcheng Sun Xiaowei Huang and Daniel Kroening. 2018. Testing Deep Neural Networks. CoRR abs\/ 1803.04792 ( 2018 ). arXiv: 1803.04792 http:\/\/arxiv.org\/abs\/ 1803.04792  Youcheng Sun Xiaowei Huang and Daniel Kroening. 2018. Testing Deep Neural Networks. CoRR abs\/ 1803.04792 ( 2018 ). arXiv: 1803.04792 http:\/\/arxiv.org\/abs\/ 1803.04792"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238172"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_2_32_1","first-page":"1599","volume-title":"Proceedings of the 27th USENIX Security Symposium, USENIX Security 2018","author":"Wang Shiqi","year":"2018"},{"key":"e_1_3_2_2_33_1","unstructured":"Jie M. Zhang Mark Harman Lei Ma and Yang Liu. 2019. Machine Learning Testing: Survey Landscapes and Horizons. CoRR abs\/ 1906.10742 ( 2019 ). arXiv: 1906.10742 http:\/\/arxiv.org\/abs\/ 1906.10742  Jie M. Zhang Mark Harman Lei Ma and Yang Liu. 2019. Machine Learning Testing: Survey Landscapes and Horizons. CoRR abs\/ 1906.10742 ( 2019 ). arXiv: 1906.10742 http:\/\/arxiv.org\/abs\/ 1906.10742"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213866"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409720","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3409720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:40Z","timestamp":1750203880000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3409720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,7]]},"references-count":34,"alternative-id":["10.1145\/3368089.3409720","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3409720","relation":{},"subject":[],"published":{"date-parts":[[2020,11,7]]}}}