{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T05:41:29Z","timestamp":1761543689447,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031999901"},{"type":"electronic","value":"9783031999918"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99991-8_14","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T05:36:06Z","timestamp":1761543366000},"page":"253-259","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["NeuralSAT: Scaling Constraint Solving for\u00a0DNN Verification (Competition Contribution)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3341-9794","authenticated-orcid":false,"given":"Hai","family":"Duong","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4255-4592","authenticated-orcid":false,"given":"ThanhVu","family":"Nguyen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Brix, C., Bak, S., Johnson, T.T., Wu, H.: The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results. arXiv preprint arXiv:2412.19985 (2024). https:\/\/doi.org\/10.48550\/arXiv.2412.19985","DOI":"10.48550\/arXiv.2412.19985"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"Brix, C., Bak, S., Liu, C., Johnson, T.T.: The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results (2023). https:\/\/doi.org\/10.48550\/arXiv.2312.16760","DOI":"10.48550\/arXiv.2312.16760"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Commun. ACM 5(7), 394\u2013397 (1962). https:\/\/doi.org\/10.1145\/368273.368557","DOI":"10.1145\/368273.368557"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Duong, H., Nguyen, T., Dwyer, M.: A DPLL(T) Framework for Verifying Deep Neural Networks. arXiv preprint arXiv:2307.10266 (2024). https:\/\/doi.org\/10.48550\/arXiv.2307.10266","DOI":"10.48550\/arXiv.2307.10266"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Duong, H., Nguyen, T., Dwyer, M.B.: NeuralSAT: a high-performance verification tool for deep neural networks. In: International Conference on Computer Aided Verification, p. to appear (2025)","DOI":"10.1007\/978-3-031-98679-6_19"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Duong, H., Xu, D., Nguyen, T., Dwyer, M.B.: Harnessing neuron stability to improve dnn verification. Proc. ACM Softw. Eng. 1(FSE), 859\u2013881 (2024). https:\/\/doi.org\/10.1145\/3643765","DOI":"10.1145\/3643765"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Ferrari, C., Mueller, M.N., Jovanovi\u0107, N., Vechev, M.: Complete Verification via multi-neuron relaxation guided branch-and-bound. In: International Conference on Learning Representations (2022). https:\/\/doi.org\/10.48550\/arXiv.2205.00263","DOI":"10.48550\/arXiv.2205.00263"},{"key":"14_CR8","unstructured":"Gurobi Optimization, LLC: Gurobi Optimizer Reference Manual (2022). https:\/\/www.gurobi.com"},{"key":"14_CR9","unstructured":"Kroening, D., Strichman, O.: Decision procedures. Springer (2008). https:\/\/dl.acm.org\/doi\/10.5555\/1391237"},{"key":"14_CR10","unstructured":"Madry, A., Makelov, A., Schmidt, L., Tsipras, D., Vladu, A.: Towards deep learning models resistant to adversarial attacks. arXiv preprint arXiv:1706.06083 (2017). https:\/\/hdl.handle.net\/1721.1\/137496"},{"key":"14_CR11","unstructured":"PyRAT: A tool to analyze the robustness and safety of neural networks (2024). https:\/\/pyrat-analyzer.com\/"},{"key":"14_CR12","doi-asserted-by":"publisher","unstructured":"Stark, E.W.: A proof technique for rely\/guarantee properties. In: Maheshwari, S.N. (ed.) FSTTCS 1985. LNCS, vol. 206, pp. 369\u2013391. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-16042-6_21","DOI":"10.1007\/3-540-16042-6_21"},{"key":"14_CR13","unstructured":"VNN-COMP 2024: VNN-COMP 2024 Regular Benchmarks (2024). https:\/\/github.com\/ChristopherBrix\/vnncomp2024_benchmarks"},{"key":"14_CR14","unstructured":"VNN-COMP 2024: VNN-COMP 2024 Results (2024). https:\/\/github.com\/VNN-COMP\/vnncomp2024_results"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Wu, H., et\u00a0al.: Marabou 2.0: a versatile formal analyzer of neural networks. In: International Conference on Computer Aided Verification, pp. 249\u2013264. Springer (2024). https:\/\/doi.org\/10.48550\/arXiv.2401.14461","DOI":"10.48550\/arXiv.2401.14461"},{"key":"14_CR16","doi-asserted-by":"publisher","unstructured":"Xu, D., Mozumder, N.J., Duong, H., Dwyer, M.: Training for verification: increasing neuron stability to scale DNN verification. In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, p. to appear. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57256-2_2","DOI":"10.1007\/978-3-031-57256-2_2"},{"key":"14_CR17","doi-asserted-by":"publisher","unstructured":"Xu, D., Shriver, D., Dwyer, M.B., Elbaum, S.: Systematic generation of diverse benchmarks for DNN verification. In: International Conference on Computer Aided Verification, pp. 97\u2013121. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_5","DOI":"10.1007\/978-3-030-53288-8_5"},{"key":"14_CR18","unstructured":"Xu, K., et al.: Automatic perturbation analysis for scalable certified robustness and beyond. Adv. Neural Inf. Process. Syst. 33, 1129\u20131141 (2020). https:\/\/dl.acm.org\/doi\/10.5555\/3495724.3495820"},{"key":"14_CR19","doi-asserted-by":"publisher","unstructured":"Zhou, D., Brix, C., Hanasusanto, G.A., Zhang, H.: Scalable neural network verification with branch-and-bound inferred cutting planes. arXiv preprint arXiv:2501.00200 (2024). https:\/\/doi.org\/10.48550\/arXiv.2501.00200","DOI":"10.48550\/arXiv.2501.00200"}],"container-title":["Lecture Notes in Computer Science","AI Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99991-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T05:36:12Z","timestamp":1761543372000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99991-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783031999901","9783031999918"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99991-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAIV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on AI Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zagreb","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Croatia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"saiv2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.aiverification.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}