Buchumschlag

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wei, Tianhao, Hu, Hanjiang, Marzari, Luca, Yun, Kai S., Niu, Peizhi, Luo, Xusheng, Liu, Changliu
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
von: Brix, Christopher, et al.
Veröffentlicht: (2023)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
von: Elboher, Yizhak Y., et al.
Veröffentlicht: (2026)

Formally Verified Binary-level Pointer Analysis
von: Verbeek, Freek, et al.
Veröffentlicht: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
von: Johansson, Bjarne, et al.
Veröffentlicht: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

Towards Automated Formal Verification of Backend Systems with LLMs
von: Xu, Kangping, et al.
Veröffentlicht: (2025)

ProofWright: Towards Agentic Formal Verification of CUDA
von: Chatterjee, Bodhisatwa, et al.
Veröffentlicht: (2025)

MLE-Toolbox: An Open-Source Toolbox for Comprehensive EEG and MEG Data Analysis
von: Liu, Xiaobo
Veröffentlicht: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
von: Erfan, Md, et al.
Veröffentlicht: (2026)

Verifier Warnings Do Not Improve Comprehensibility Prediction
von: De Silva, Nadeeshan, et al.
Veröffentlicht: (2026)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
von: Sousa, Tiago, et al.
Veröffentlicht: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
von: Luckeneder, Christoph, et al.
Veröffentlicht: (2025)

FormalRTL: Verified RTL Synthesis at Scale
von: Li, Kezhi, et al.
Veröffentlicht: (2026)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
von: Wang, Weiqi, et al.
Veröffentlicht: (2025)

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
von: Zhou, Xiaofeng, et al.
Veröffentlicht: (2026)

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

A DPLL(T) Framework for Verifying Deep Neural Networks
von: Duong, Hai, et al.
Veröffentlicht: (2023)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
von: Liu, Dong
Veröffentlicht: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
von: Faria, João Pascoal, et al.
Veröffentlicht: (2026)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
von: Hähnle, Reiner, et al.
Veröffentlicht: (2025)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
von: Sevenhuijsen, Merlijn, et al.
Veröffentlicht: (2024)

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
von: Liu, Yuwei, et al.
Veröffentlicht: (2026)

Using LLMs to Facilitate Formal Verification of RTL
von: Orenes-Vera, Marcelo, et al.
Veröffentlicht: (2023)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
von: Ishii, Daisuke
Veröffentlicht: (2024)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
von: Ganesha, et al.
Veröffentlicht: (2025)

variability.dev: Towards an Online Toolbox for Feature Modeling
von: Heß, Tobias, et al.
Veröffentlicht: (2025)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
von: Li, Jingyang, et al.
Veröffentlicht: (2026)

evomap: A Toolbox for Dynamic Mapping in Python
von: Matthe, Maximilian
Veröffentlicht: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
von: Ma, Lezhi, et al.
Veröffentlicht: (2026)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
von: Tan, Max
Veröffentlicht: (2026)

From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
von: Ma, Shang, et al.
Veröffentlicht: (2026)

Many-Objective Search-Based Coverage-Guided Automatic Test Generation for Deep Neural Networks
von: Li, Dongcheng, et al.
Veröffentlicht: (2024)

Verify Implementation Equivalence of Large Models
von: Zhan, Qi, et al.
Veröffentlicht: (2026)

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

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
von: Yang, Yujie, et al.
Veröffentlicht: (2024)

Testing, Evaluation, Verification and Validation (TEVV) of Digital Twins: A Comprehensive Framework
von: Waters, Gabriella
Veröffentlicht: (2025)

VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications
von: Misu, Md Rakib Hossain, et al.
Veröffentlicht: (2026)

TypedMatrices.jl: An Extensible and Type-Based Matrix Collection for Julia
von: Zhang, Anzhi, et al.
Veröffentlicht: (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
von: Baninajjar, Anahita, et al.
Veröffentlicht: (2023)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
von: Corazza, Jan, et al.
Veröffentlicht: (2025)