{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:16:36Z","timestamp":1784837796029,"version":"3.55.0"},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>The interest in the verification of neural networks has been growing steadily in recent years and there have been several advancements in theory, algorithms and tools for the verification of neural networks. Also propelled by VNNCOMP \u2014 the annual competition of tools for the verification of neural networks \u2014 the community is making steady progress to close the gap with practical applications. In this scenario, we believe that researchers and practitioners should rely on some commonly accepted standard to describe (trained) networks and their properties, as well as a toolset to visualize and to convert from common formats to such standard. The purpose of VNN-LIB and CoCoNet is precisely to provide such standard and toolset, respectively. In this paper we briefly describe the principles and design choices behind the current version of VNN-LIB standard, and we give an overview of the current and planned capabilities of CoCoNet.<\/jats:p>","DOI":"10.29007\/5pdh","type":"proceedings-article","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T18:31:41Z","timestamp":1698085901000},"page":"47-34","source":"Crossref","is-referenced-by-count":16,"title":["Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet"],"prefix":"10.29007","volume":"16","author":[{"given":"Stefano","family":"Demarchi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dario","family":"Guidotti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Pulina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"11545","event":{"name":"Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T18:31:42Z","timestamp":1698085902000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/Qgdn"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/5pdh","relation":{},"ISSN":["2515-1762"],"issn-type":[{"value":"2515-1762","type":"print"}],"subject":[]}}