Cover Image

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baninajjar, Anahita, Rezine, Ahmed, Aminifar, Amir
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Local Implication Between Two Neural Networks
by: Baninajjar, Anahita, et al.
Published: (2024)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

Breaking the Illusion: Consensus-Based Generative Mitigation of Adversarial Illusions in Multi-Modal Embeddings
by: Akbarian, Fatemeh, et al.
Published: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
by: Wei, Tianhao, et al.
Published: (2024)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

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

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
by: Zhang, Guanqin, et al.
Published: (2025)

Data Preparation for Fairness-Performance Trade-Offs: A Practitioner-Friendly Alternative?
by: Voria, Gianmario, et al.
Published: (2024)

Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
by: Lange, Robert Tjarko, et al.
Published: (2025)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
by: Tan, Max
Published: (2026)

Concolic Testing on Individual Fairness of Neural Network Models
by: Huang, Ming-I, et al.
Published: (2025)

AutoSpec: Automated Generation of Neural Network Specifications
by: Jin, Shuowei, et al.
Published: (2024)

Automating API Documentation with LLMs: A BERTopic Approach
by: Naghshzan, AmirHossein
Published: (2025)

FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks
by: Kim, Brian Hyeongseok, et al.
Published: (2024)

DANDI: Diffusion as Normative Distribution for Deep Neural Network Input
by: Kim, Somin, et al.
Published: (2025)

Unified Implementations of Recurrent Neural Networks in Multiple Deep Learning Frameworks
by: Martinuzzi, Francesco
Published: (2025)

ReVeal: Self-Evolving Code Agents via Reliable Self-Verification
by: Jin, Yiyang, et al.
Published: (2025)

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
by: Katz, Guy, et al.
Published: (2024)

Phoeni6: a Systematic Approach for Evaluating the Energy Consumption of Neural Networks
by: Oliveira-Filho, Antônio, et al.
Published: (2025)

FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
by: Openja, Moses, et al.
Published: (2025)

Enhancing Software Vulnerability Detection Using Code Property Graphs and Convolutional Neural Networks
by: Saimbhi, Amanpreet Singh
Published: (2025)

FROAV: A Framework for RAG Observation and Agent Verification -- Lowering the Barrier to LLM Agent Research
by: Lin, Tzu-Hsuan, et al.
Published: (2026)

FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
by: Chen, Jialuo, et al.
Published: (2024)

Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks
by: Duan, Bin, et al.
Published: (2025)

RLHGNN: Reinforcement Learning-driven Heterogeneous Graph Neural Network for Next Activity Prediction in Business Processes
by: Wang, Jiaxing, et al.
Published: (2025)

Correctness-Guaranteed Code Generation via Constrained Decoding
by: Li, Lingxiao, et al.
Published: (2025)

Language Models are Better Bug Detector Through Code-Pair Classification
by: Alrashedy, Kamel, et al.
Published: (2023)

Robust Learning of Diverse Code Edits
by: Aggarwal, Tushar, et al.
Published: (2025)

Influence-Guided Concolic Testing of Transformer Robustness
by: Hong, Chih-Duo, et al.
Published: (2025)

Understanding Robustness of Model Editing in Code LLMs
by: Chhetri, Vinaik, et al.
Published: (2025)

MetaLint: Easy-to-Hard Generalization for Code Linting
by: Naik, Atharva, et al.
Published: (2025)

Where Do LLMs Still Struggle? An In-Depth Analysis of Code Generation Benchmarks
by: Sharifloo, Amir Molzam, et al.
Published: (2025)

CoDocBench: A Dataset for Code-Documentation Alignment in Software Maintenance
by: Pai, Kunal, et al.
Published: (2025)

Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
by: Ahmed, Shibbir, et al.
Published: (2024)

Guaranteed Guess: A Language Modeling Approach for CISC-to-RISC Transpilation with Testing Guarantees
by: Heakl, Ahmed, et al.
Published: (2025)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
by: Xie, Zichen, et al.
Published: (2026)

Machine Learning Systems are Bloated and Vulnerable
by: Zhang, Huaifeng, et al.
Published: (2022)

Prefetching Cache Optimization Using Graph Neural Networks: A Modular Framework and Conceptual Analysis
by: Qowy, F. I.
Published: (2025)

Evaluating and Mitigating Errors in LLM-Generated Web API Integrations
by: Maninger, Daniel, et al.
Published: (2025)

ITER: Iterative Neural Repair for Multi-Location Patches
by: Ye, He, et al.
Published: (2023)