Buchumschlag

DeepCDCL: An CDCL-based Neural Network Verification Framework

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Zongxin, Yang, Pengfei, Zhang, Lijun, Huang, Xiaowei
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
von: Liu, Zongxin, et al.
Veröffentlicht: (2024)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
von: Wang, Wenxi, et al.
Veröffentlicht: (2021)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
von: Zhu, Jiaying, et al.
Veröffentlicht: (2025)

Verification of Bit-Flip Attacks against Quantized Neural Networks
von: Zhang, Yedi, et al.
Veröffentlicht: (2025)

Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture
von: Gibson, Joshua, et al.
Veröffentlicht: (2025)

Multi-Evidence based Fact Verification via A Confidential Graph Neural Network
von: Lan, Yuqing, et al.
Veröffentlicht: (2024)

Generalizability of Memorization Neural Networks
von: Yu, Lijia, et al.
Veröffentlicht: (2024)

Neural Network Verification with PyRAT
von: Lemesle, Augustin, et al.
Veröffentlicht: (2024)

Invariant Correlation of Representation with Label: Enhancing Domain Generalization in Noisy Environments
von: Jin, Gaojie, et al.
Veröffentlicht: (2024)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
von: Shi, Zhouxing, et al.
Veröffentlicht: (2024)

Reinfier and Reintrainer: Verification and Interpretation-Driven Safe Deep Reinforcement Learning Frameworks
von: Yang, Zixuan, et al.
Veröffentlicht: (2024)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
von: Marzari, Luca, et al.
Veröffentlicht: (2025)

COPYCOP: Ownership Verification for Graph Neural Networks
von: Nandakumar, Rahul, et al.
Veröffentlicht: (2026)

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
von: Li, Jingyang, et al.
Veröffentlicht: (2025)

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks
von: Maheri, Mohammad M, et al.
Veröffentlicht: (2025)

Deep Graph Neural Networks via Posteriori-Sampling-based Node-Adaptive Residual Module
von: Zhou, Jingbo, et al.
Veröffentlicht: (2023)

Layer Embedding Deep Fusion Graph Neural Network
von: Xu, Taihua, et al.
Veröffentlicht: (2026)

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
von: Papamichail, Merkouris, et al.
Veröffentlicht: (2026)

Towards Comprehensive and Prerequisite-Free Explainer for Graph Neural Networks
von: Zhang, Han, et al.
Veröffentlicht: (2025)

Low-bit Model Quantization for Deep Neural Networks: A Survey
von: Liu, Kai, et al.
Veröffentlicht: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
von: Boetius, David, et al.
Veröffentlicht: (2024)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
von: Sivaramakrishnan, Vignesh, et al.
Veröffentlicht: (2024)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

QuadEnhancer: Leveraging Quadratic Transformations to Enhance Deep Neural Networks
von: Chen, Qian, et al.
Veröffentlicht: (2025)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
von: Dutta, Souradeep, et al.
Veröffentlicht: (2023)

MCU-MixQ: A HW/SW Co-optimized Mixed-precision Neural Network Design Framework for MCUs
von: Gong, Junfeng, et al.
Veröffentlicht: (2024)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
von: Liu, Minghao, et al.
Veröffentlicht: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2025)

SURGE: Surrogate Gradient Adaptation in Binary Neural Networks
von: Huang, Haoyu, et al.
Veröffentlicht: (2026)

Towards Scalable and Deep Graph Neural Networks via Noise Masking
von: Liang, Yuxuan, et al.
Veröffentlicht: (2024)

Reconcile Certified Robustness and Accuracy for DNN-based Smoothed Majority Vote Classifier
von: Jin, Gaojie, et al.
Veröffentlicht: (2025)

Exploring and Exploiting the Asymmetric Valley of Deep Neural Networks
von: Li, Xin-Chun, et al.
Veröffentlicht: (2024)

Behavior Backdoor for Deep Learning Models
von: Wang, Jiakai, et al.
Veröffentlicht: (2024)

Wormhole Dynamics in Deep Neural Networks
von: Lai, Yen-Lung, et al.
Veröffentlicht: (2025)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
von: Brix, Christopher, et al.
Veröffentlicht: (2024)

BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification
von: Das, Sarthak
Veröffentlicht: (2025)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
von: Wang, Fangji, et al.
Veröffentlicht: (2025)

Data-Algorithm-Architecture Co-Optimization for Fair Neural Networks on Skin Lesion Dataset
von: Sheng, Yi, et al.
Veröffentlicht: (2024)

Patch Synthesis for Property Repair of Deep Neural Networks
von: Chi, Zhiming, et al.
Veröffentlicht: (2024)