Image de couverture de livre

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Guanqin, Fukuda, Kota, Zhang, Zhenya, Bandara, H. M. N. Dilum, Chen, Shiping, Zhao, Jianjun, Sui, Yulei
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
par: Fukuda, Kota, et autres
Publié: (2025)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
par: Li, Jingyang, et autres
Publié: (2026)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
par: Wijayakoon, Chanuka, et autres
Publié: (2025)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
par: Xu, Pei, et autres
Publié: (2025)

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
par: Cheng, Xiao, et autres
Publié: (2025)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
par: Li, Jingyang, et autres
Publié: (2026)

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
par: Chu, Zhaoyang, et autres
Publié: (2024)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
par: Shao, Minqi, et autres
Publié: (2026)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
par: Luo, Junjie, et autres
Publié: (2026)

CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
par: Feng, Ruijun, et autres
Publié: (2025)

Counterexample Classification against Signal Temporal Logic Specifications
par: Zhang, Zhenya, et autres
Publié: (2026)

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study
par: Dong, Zeming, et autres
Publié: (2023)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
par: Zhao, Qianhui, et autres
Publié: (2025)

Quantum-Based Software Engineering
par: Zhao, Jianjun
Publié: (2025)

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
par: Zhao, Jianjun
Publié: (2025)

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search
par: Wang, Zhaohui, et autres
Publié: (2024)

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit
par: Wan, Yao, et autres
Publié: (2023)

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
par: Tang, Shuncheng, et autres
Publié: (2024)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
par: Baninajjar, Anahita, et autres
Publié: (2023)

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
par: Ye, Jiaming, et autres
Publié: (2025)

An Efficient VCGen-based Modular Verification of Relational Properties
par: Blatter, Lionel, et autres
Publié: (2024)

Selene: Pioneering Automated Proof in Software Verification
par: Zhang, Lichen, et autres
Publié: (2024)

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
par: Guo, Xiaoyu, et autres
Publié: (2025)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
par: Jin, Tiancheng, et autres
Publié: (2025)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
par: Guo, Xiaoyu, et autres
Publié: (2025)

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
par: Guo, Xiaoyu, et autres
Publié: (2025)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
par: Guo, Xiaoyu, et autres
Publié: (2024)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
par: Zhang, Jianyu, et autres
Publié: (2024)

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback
par: Bi, Zhangqian, et autres
Publié: (2024)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
par: Zhang, Yueke, et autres
Publié: (2025)

Agentic Verification of Software Systems
par: Tu, Haoxin, et autres
Publié: (2025)

Adaptive and Efficient Log Parsing as a Cloud Service
par: Li, Zeyan, et autres
Publié: (2025)

Lemma Discovery in Agentic Program Verification
par: Zhao, Huan, et autres
Publié: (2026)

Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework
par: Yang, Haoyue, et autres
Publié: (2025)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
par: He, Ruidi, et autres
Publié: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
par: Wei, Tianhao, et autres
Publié: (2024)

Efficient Code Analysis via Graph-Guided Large Language Models
par: Gao, Hang, et autres
Publié: (2026)

Quantum Concolic Testing
par: Xia, Shangzhou, et autres
Publié: (2024)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
par: Long, Peixun, et autres
Publié: (2023)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
par: Long, Peixun, et autres
Publié: (2023)