Cover Image

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Elboher, Yizhak Yisrael, Raviv, Avraham, Elboher, Amihay, Shi, Zhouxing, Azencot, Omri, Kugler, Hillel, Katz, Guy
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

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

Formal Verification of Deep Neural Networks for Object Detection
by: Elboher, Yizhak Y., et al.
Published: (2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
by: Pinto, Ido, et al.
Published: (2026)

Provably Explaining Neural Additive Models
by: Bassan, Shahaf, et al.
Published: (2026)

Unraveling Hidden Representations: A Multi-Modal Layer Analysis for Better Synthetic Content Forensics
by: Or, Tom, et al.
Published: (2025)

Data Augmentation Policy Search for Long-Term Forecasting
by: Nochumsohn, Liran, et al.
Published: (2024)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
by: Desmartin, Remi, et al.
Published: (2024)

Neural Network Verification using Partial Multi-Neuron Relaxation
by: Shmuel, Ido, et al.
Published: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
by: Elboher, Yizhak, et al.
Published: (2024)

A Multi-Task Learning Approach to Linear Multivariate Forecasting
by: Nochumsohn, Liran, et al.
Published: (2025)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
by: Sayed, Abdelrahman Sayed, et al.
Published: (2025)

Hebrew Diacritics Restoration using Visual Representation
by: Elboher, Yair, et al.
Published: (2025)

Early-Exit Neural Networks with Nested Prediction Sets
by: Jazbec, Metod, et al.
Published: (2023)

On-Sensor Convolutional Neural Networks with Early-Exits
by: Shalby, Hazem Hesham Yousef, et al.
Published: (2025)

Towards General Modality Translation with Contrastive and Predictive Latent Diffusion Bridge
by: Berman, Nimrod, et al.
Published: (2025)

Attention Consistency Regularization for Interpretable Early-Exit Neural Networks
by: Zhao, Yanhua
Published: (2026)

AEBNAS: Strengthening Exit Branches in Early-Exit Networks through Hardware-Aware Neural Architecture Search
by: Robben, Oscar, et al.
Published: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

One-Step Offline Distillation of Diffusion-based Models via Koopman Modeling
by: Berman, Nimrod, et al.
Published: (2025)

Reviving Life on the Edge: Joint Score-Based Graph Generation of Rich Edge Attributes
by: Berman, Nimrod, et al.
Published: (2024)

Temporal Decisions: Leveraging Temporal Correlation for Efficient Decisions in Early Exit Neural Networks
by: Sponner, Max, et al.
Published: (2024)

Beyond Data Scarcity: A Frequency-Driven Framework for Zero-Shot Forecasting
by: Nochumsohn, Liran, et al.
Published: (2024)

SPARQ: Spiking Early-Exit Neural Networks for Energy-Efficient Edge AI
by: Patne, Parth, et al.
Published: (2026)

Hetero-SplitEE: Split Learning of Neural Networks with Early Exits for Heterogeneous IoT Devices
by: Oda, Yuki, et al.
Published: (2025)

Towards Efficient Formal Verification of Spiking Neural Network
by: Seong, Baekryun, et al.
Published: (2024)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
by: Marzari, Luca, et al.
Published: (2025)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
by: Shi, Zhouxing, et al.
Published: (2024)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
by: Zhou, Xingjian, et al.
Published: (2024)

Beyond Greedy Exits: Improved Early Exit Decisions for Risk Control and Reliability
by: Bajpai, Divya Jyoti, et al.
Published: (2025)

Dynamic Early Exit in Reasoning Models
by: Yang, Chenxu, et al.
Published: (2025)

More Than A Shortcut: A Hyperbolic Approach To Early-Exit Networks
by: Bhosale, Swapnil, et al.
Published: (2025)

DistrEE: Distributed Early Exit of Deep Neural Network Inference on Edge Devices
by: Peng, Xian, et al.
Published: (2025)

PTEENet: Post-Trained Early-Exit Neural Networks Augmentation for Inference Cost Optimization
by: Lahiany, Assaf, et al.
Published: (2025)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
by: Afzal, Mohammad, et al.
Published: (2025)