Cover Image

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Jingyang, Song, Fu, Li, Guoqiang
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression
by: Li, Jingyang, et al.
Published: (2026)

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)

Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems
by: Sun, Zhensu, et al.
Published: (2022)

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

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
by: Sun, Zhensu, et al.
Published: (2024)

DISTINCT: A Description-Guided Branch-Consistency Analysis Framework for Non-Regressive Test Case Generation
by: Xue, Pengyu, et al.
Published: (2025)

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

Improving Dynamic Specification Inference with LLM-Generated Counterexamples
by: Balestra, Agustín, et al.
Published: (2026)

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

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

Towards Large Language Model Guided Kernel Direct Fuzzing
by: Li, Xie, et al.
Published: (2025)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
by: Orvalho, Pedro, et al.
Published: (2024)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
by: Cai, Luwei, et al.
Published: (2024)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

How We Built Cedar: A Verification-Guided Approach
by: Disselkoen, Craig, et al.
Published: (2024)

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

BinMetric: A Comprehensive Binary Analysis Benchmark for Large Language Models
by: Shang, Xiuwei, et al.
Published: (2025)

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
by: Iman, Mohammad Reza Heidari, et al.
Published: (2026)

Completion by Comprehension: Guiding Code Generation with Multi-Granularity Understanding
by: Zhao, Xinkui, et al.
Published: (2025)

From Context to Intent: Reasoning-Guided Function-Level Code Completion
by: Li, Yanzhou, et al.
Published: (2025)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

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

Prompt-based Code Completion via Multi-Retrieval Augmented Generation
by: Tan, Hanzhuo, et al.
Published: (2024)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

Binary Code Similarity Detection via Graph Contrastive Learning on Intermediate Representations
by: Shang, Xiuwei, et al.
Published: (2024)

Seed&Steer: Guiding Large Language Models with Compilable Prefix and Branch Signals for Unit Test Generation
by: Zhou, Shuaiyu, et al.
Published: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

DCE-LLM: Dead Code Elimination with Large Language Models
by: Chen, Minyu, et al.
Published: (2025)

Natural Language based Specification and Verification
by: Li, Zhaorui, et al.
Published: (2026)

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
by: Sinha, Shiven, et al.
Published: (2025)

GRACE: Graph-Guided Repository-Aware Code Completion through Hierarchical Code Fusion
by: Wang, Xingliang, et al.
Published: (2025)

Efficient Code Analysis via Graph-Guided Large Language Models
by: Gao, Hang, et al.
Published: (2026)

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)

FDI: Attack Neural Code Generation Systems through User Feedback Channel
by: Sun, Zhensu, et al.
Published: (2024)

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
by: Hui, Mingxuan, et al.
Published: (2026)

HF-DGF: Hybrid Feedback Guided Directed Grey-box Fuzzing
by: Lyu, Guangfa, et al.
Published: (2025)

Guiding ChatGPT to Fix Web UI Tests via Explanation-Consistency Checking
by: Xu, Zhuolin, et al.
Published: (2023)

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
by: Ding, Yepeng, et al.
Published: (2024)