Cover Image

LEVIS: Large Exact Verifiable Input Spaces for Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chehade, Mohamad Fares El Hajj, Li, Wenting, Bell, Brian W., Bent, Russell, Kazi, Saif R., Zhu, Hao
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

TRAM: Test-Time Risk Adaptation with Mixture of Agents
by: Chehade, Mohamad Fares El Hajj, et al.
Published: (2024)

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
by: Li, Wenting, et al.
Published: (2026)

Should we use model-free or model-based control? A case study of battery management systems
by: Chehade, Mohamad Fares El Hajj, et al.
Published: (2024)

Analysis of a degenerate parabolic system for cell dynamics in intestinal crypts
by: Hajj, Ahmad El, et al.
Published: (2026)

SINBAD: Saliency-informed detection of breakage caused by ad blocking
by: Chehade, Saiid El Hajj, et al.
Published: (2024)

NEO-Grid: A Neural Approximation Framework for Optimization and Control in Distribution Grids
by: Chehade, Mohamad, et al.
Published: (2025)

Fine-Tuning LLMs to Generate Economical and Reliable Actions for the Power Grid
by: Chehade, Mohamad, et al.
Published: (2026)

FlowMixer: A Depth-Agnostic Neural Architecture for Interpretable Spatiotemporal Forecasting
by: Mehouachi, Fares B., et al.
Published: (2025)

Nonlinear Optimization with GPU-Accelerated Neural Network Constraints
by: Parker, Robert, et al.
Published: (2025)

Constraint-Informed Active Learning for End-to-End ACOPF Optimization Proxies
by: Li, Miao, et al.
Published: (2025)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
by: Boetius, David, et al.
Published: (2026)

Catastrophic Overfitting, Entropy Gap and Participation Ratio: A Noiseless $l^p$ Norm Solution for Fast Adversarial Training
by: Mehouachi, Fares B., et al.
Published: (2025)

Adversarial Robustness of Traffic Classification under Resource Constraints: Input Structure Matters
by: Chehade, Adel, et al.
Published: (2025)

Input Space Mode Connectivity in Deep Neural Networks
by: Vrabel, Jakub, et al.
Published: (2024)

Physics-Informed Heterogeneous Graph Neural Networks for DC Blocker Placement
by: Jin, Hongwei, et al.
Published: (2024)

Stochastic Q-learning for Large Discrete Action Spaces
by: Fourati, Fares, et al.
Published: (2024)

The Curvature Rate λ: A Scalar Measure of Input-Space Sharpness in Neural Networks
by: Poschl, Jacob
Published: (2025)

BOOST: Microgrid Sizing using Ordinal Optimization
by: Chehade, Mohamad, et al.
Published: (2025)

ANIRA: An Architecture for Neural Network Inference in Real-Time Audio Applications
by: Ackva, Valentin, et al.
Published: (2025)

Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs
by: Kofnov, Andrey, et al.
Published: (2025)

Exact, Fast and Expressive Poisson Point Processes via Squared Neural Families
by: Tsuchida, Russell, et al.
Published: (2024)

Input Invex Neural Network
by: Sapkota, Suman, et al.
Published: (2021)

Faster Verified Explanations for Neural Networks
by: De Palma, Alessandro, et al.
Published: (2025)

Hardware-Aware Neural Architecture Search for Encrypted Traffic Classification on Resource-Constrained Devices
by: Chehade, Adel, et al.
Published: (2025)

Towards Privacy-Preserving Medical Imaging: Federated Learning with Differential Privacy and Secure Aggregation Using a Modified ResNet Architecture
by: Fares, Mohamad Haj, et al.
Published: (2024)

Weight-of-Thought Reasoning: Exploring Neural Network Weights for Enhanced LLM Reasoning
by: Punjwani, Saif, et al.
Published: (2025)

Exact Functional ANOVA Decomposition for Categorical Inputs Models
by: Ferrere, Baptiste, et al.
Published: (2026)

CR-LSO: Convex Neural Architecture Optimization in the Latent Space of Graph Variational Autoencoder with Input Convex Neural Networks
by: Rao, Xuan, et al.
Published: (2022)

The Importance of Model Inspection for Better Understanding Performance Characteristics of Graph Neural Networks
by: Shehata, Nairouz, et al.
Published: (2024)

Swarm Characteristic Classification using Robust Neural Networks with Optimized Controllable Inputs
by: Peltier III, Donald W., et al.
Published: (2025)

Addressing Stereotypes in Large Language Models: A Critical Examination and Mitigation
by: Kazi, Fatima
Published: (2025)

Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)

VerifierQ: Enhancing LLM Test Time Compute with Q-Learning-based Verifiers
by: Qi, Jianing, et al.
Published: (2024)

Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks
by: Duan, Bin, et al.
Published: (2025)

Tightening optimality gap with confidence through conformal prediction
by: Li, Miao, et al.
Published: (2025)

A Geometric Framework for Adversarial Vulnerability in Machine Learning
by: Bell, Brian
Published: (2024)

Input Specific Neural Networks
by: Jadoon, Asghar A., et al.
Published: (2025)

Sobolev Training of End-to-End Optimization Proxies
by: Rosemberg, Andrew W., et al.
Published: (2025)

Urban traffic analysis and forecasting through shared Koopman eigenmodes
by: Yang, Chuhan, et al.
Published: (2024)

Privacy-Preserving Verifiable Neural Network Inference Service
by: Riasi, Arman, et al.
Published: (2024)