Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Guanqin, Fukuda, Kota, Zhang, Zhenya, Bandara, H. M. N. Dilum, Chen, Shiping, Zhao, Jianjun, Sui, Yulei
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
von: Fukuda, Kota, 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)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
von: Wijayakoon, Chanuka, et al.
Veröffentlicht: (2025)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
von: Xu, Pei, et al.
Veröffentlicht: (2025)

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
von: Cheng, Xiao, et al.
Veröffentlicht: (2025)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
von: Li, Jingyang, et al.
Veröffentlicht: (2026)

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
von: Chu, Zhaoyang, et al.
Veröffentlicht: (2024)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
von: Shao, Minqi, et al.
Veröffentlicht: (2026)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
von: Luo, Junjie, et al.
Veröffentlicht: (2026)

CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
von: Feng, Ruijun, et al.
Veröffentlicht: (2025)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study
von: Dong, Zeming, et al.
Veröffentlicht: (2023)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
von: Zhao, Qianhui, et al.
Veröffentlicht: (2025)

Quantum-Based Software Engineering
von: Zhao, Jianjun
Veröffentlicht: (2025)

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
von: Zhao, Jianjun
Veröffentlicht: (2025)

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search
von: Wang, Zhaohui, et al.
Veröffentlicht: (2024)

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit
von: Wan, Yao, et al.
Veröffentlicht: (2023)

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
von: Tang, Shuncheng, et al.
Veröffentlicht: (2024)

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

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
von: Ye, Jiaming, et al.
Veröffentlicht: (2025)

An Efficient VCGen-based Modular Verification of Relational Properties
von: Blatter, Lionel, et al.
Veröffentlicht: (2024)

Selene: Pioneering Automated Proof in Software Verification
von: Zhang, Lichen, et al.
Veröffentlicht: (2024)

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2025)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
von: Jin, Tiancheng, et al.
Veröffentlicht: (2025)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2025)

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2025)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
von: Guo, Xiaoyu, et al.
Veröffentlicht: (2024)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
von: Zhang, Jianyu, et al.
Veröffentlicht: (2024)

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback
von: Bi, Zhangqian, et al.
Veröffentlicht: (2024)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
von: Zhang, Yueke, et al.
Veröffentlicht: (2025)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

Adaptive and Efficient Log Parsing as a Cloud Service
von: Li, Zeyan, et al.
Veröffentlicht: (2025)

Lemma Discovery in Agentic Program Verification
von: Zhao, Huan, et al.
Veröffentlicht: (2026)

Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework
von: Yang, Haoyue, et al.
Veröffentlicht: (2025)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
von: He, Ruidi, et al.
Veröffentlicht: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
von: Wei, Tianhao, et al.
Veröffentlicht: (2024)

Efficient Code Analysis via Graph-Guided Large Language Models
von: Gao, Hang, et al.
Veröffentlicht: (2026)

Quantum Concolic Testing
von: Xia, Shangzhou, et al.
Veröffentlicht: (2024)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
von: Long, Peixun, et al.
Veröffentlicht: (2023)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
von: Long, Peixun, et al.
Veröffentlicht: (2023)