{"work":{"id":"80333d64-d5f0-4f74-a560-fb32d4526bf1","openalex_id":"https://openalex.org/W7117131941","doi":"10.48550/arxiv.2512.19007","arxiv_id":"2512.19007","raw_key":null,"title":"The 6th international verification of neural networks competition (VNN-COMP 2025): Summary and results,","authors":null,"authors_text":"Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T Johnson, Lukas Koller, Edoardo Manino, ThanhVu H Nguyen, et al","year":2025,"venue":"mediaTUM  (Technical University of Munich)","abstract":null,"external_url":"https://arxiv.org/abs/2512.19007","cited_by_count":0,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-08-05T02:28:24.338817+00:00","pith_arxiv_id":null,"created_at":"2026-05-11T02:15:52.015144+00:00","updated_at":"2026-08-05T02:28:24.338817+00:00","title_quality_ok":true,"display_title":"The 6th international verification of neural networks competition (VNN-COMP 2025): Summary and results","render_title":"The 6th international verification of neural networks competition (VNN-COMP 2025): Summary and results"},"hub":{"state":{"work_id":"80333d64-d5f0-4f74-a560-fb32d4526bf1","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":15,"external_cited_by_count":0,"distinct_field_count":7,"first_pith_cited_at":"2026-01-19T18:59:22+00:00","last_pith_cited_at":"2026-06-19T09:58:50+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-08-14T15:29:54.840980+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":2}],"polarity_counts":[{"context_polarity":"background","n":2}],"runs":{},"summary":{},"graph":{},"authors":[]}}