Cover Image

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brix, Christopher, Müller, Mark Niklas, Bak, Stanley, Johnson, Taylor T., Liu, Changliu
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
by: Baninajjar, Anahita, et al.
Published: (2023)

Automated Benchmark Generation for Repository-Level Coding Tasks
by: Vergopoulos, Konstantinos, et al.
Published: (2025)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
by: Li, Jingyang, et al.
Published: (2026)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
by: Elboher, Yizhak Y., et al.
Published: (2026)

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
by: Mündler, Niels, et al.
Published: (2024)

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

Seed-CTS: Unleashing the Power of Tree Search for Superior Performance in Competitive Coding Tasks
by: Wang, Hao, et al.
Published: (2024)

On the Effectiveness of LLMs for Manual Test Verifications
by: Peixoto, Myron David Lucena Campos, et al.
Published: (2024)

AgentGuard: Runtime Verification of AI Agents
by: Koohestani, Roham
Published: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

Rethinking Diversity in Deep Neural Network Testing
by: Wang, Zi, et al.
Published: (2023)

Beyond Function-Level Search: Repository-Aware Dual-Encoder Code Retrieval with Adversarial Verification
by: Liu, Aofan, et al.
Published: (2025)

Vision2Web: A Hierarchical Benchmark for Visual Website Development with Agent Verification
by: He, Zehai, et al.
Published: (2026)

Towards Automated Formal Verification of Backend Systems with LLMs
by: Xu, Kangping, et al.
Published: (2025)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
by: Zhao, Qianhui, et al.
Published: (2025)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
by: Dumitran, Adrian Marius, et al.
Published: (2024)

Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
by: Zhou, Mingyang, et al.
Published: (2025)

Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
by: Winston, Cailin, et al.
Published: (2026)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
by: Ngassom, Sylvain Kouemo, et al.
Published: (2024)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
by: Corazza, Jan, et al.
Published: (2025)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
by: Cramer, Marcos, et al.
Published: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2024)

Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
by: Gloaguen, Thibaud, et al.
Published: (2026)

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
by: Shi, Jinjing, et al.
Published: (2024)

An Experience Report on Regression-Free Repair of Deep Neural Network Model
by: Nakagawa, Takao, et al.
Published: (2025)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
by: Shao, Minqi, et al.
Published: (2026)

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
by: Sung, Sicheol, et al.
Published: (2025)

Verification-Guided Context Optimization for Tool Calling via Hierarchical LLMs-as-Editors
by: Li, Henger, et al.
Published: (2025)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
by: Sun, Chuyue, et al.
Published: (2025)

Why Attention Fails: A Taxonomy of Faults in Attention-Based Neural Networks
by: Jahan, Sigma, et al.
Published: (2025)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
by: Li, Zenan, et al.
Published: (2026)

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
by: Zhong, Sicheng, et al.
Published: (2025)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
by: Pirzada, Muhammad A. A., et al.
Published: (2026)

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation
by: Zhang, Yifan, et al.
Published: (2026)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
by: Charalambous, Yiannis, et al.
Published: (2025)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
by: Töpfer, Michal, et al.
Published: (2026)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
by: Tihanyi, Norbert, et al.
Published: (2025)