Cover Image

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Marzari, Luca, Bicego, Manuele, Cicalese, Ferdinando, Farinelli, Alessandro
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

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
by: Marzari, Luca, et al.
Published: (2025)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
by: Marzari, Luca, et al.
Published: (2023)

Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
by: Marzari, Luca, et al.
Published: (2024)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

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

Efficient Preimage Approximation for Neural Network Certification
by: Björklund, Anton, et al.
Published: (2025)

Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
by: Marzari, Luca, et al.
Published: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
by: Marzari, Luca, et al.
Published: (2026)

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

Boosting Graph Neural Network Expressivity with Learnable Lanczos Constraints
by: Azizi, Niloofar, et al.
Published: (2024)

Müntz-Szász Networks: Neural Architectures with Learnable Power-Law Bases
by: N'guessan, Gnankan Landry Regis
Published: (2025)

Physics-Informed Neural Networks with Learnable Loss Balancing and Transfer Learning
by: Pirayeshshirazinezhad, Reza
Published: (2026)

Fully Learnable Neural Reward Machines
by: Dewidar, Hazem, et al.
Published: (2025)

RobustX: Robust Counterfactual Explanations Made Easy
by: Jiang, Junqi, et al.
Published: (2025)

Depth-Adaptive Graph Neural Networks via Learnable Bakry-'Emery Curvature
by: Hevapathige, Asela, et al.
Published: (2025)

Tiled Bit Networks: Sub-Bit Neural Network Compression Through Reuse of Learnable Binary Vectors
by: Gorbett, Matt, et al.
Published: (2024)

Improving Policy Optimization via $\varepsilon$-Retrain
by: Marzari, Luca, et al.
Published: (2024)

On the Regularization of Learnable Embeddings for Time Series Forecasting
by: Butera, Luca, et al.
Published: (2024)

NeuralOGCM: Differentiable Ocean Modeling with Learnable Physics
by: Wu, Hao, et al.
Published: (2025)

Neural Network Approximators for Marginal MAP in Probabilistic Circuits
by: Arya, Shivvrat, et al.
Published: (2024)

Compact Bayesian Neural Networks via pruned MCMC sampling
by: Deo, Ratneel, et al.
Published: (2025)

Latent Communication in Artificial Neural Networks
by: Moschella, Luca
Published: (2024)

Probabilistic Modeling of Latent Agentic Substructures in Deep Neural Networks
by: Lee, Su Hyeong, et al.
Published: (2025)

A Compact Representation for Bayesian Neural Networks By Removing Permutation Symmetry
by: Xiao, Tim Z., et al.
Published: (2023)

Neural Networks for Learnable and Scalable Influence Estimation of Instruction Fine-Tuning Data
by: Agarwal, Ishika, et al.
Published: (2025)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

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

Causal Neural Probabilistic Circuits
by: Chen, Weixin, et al.
Published: (2026)

GNNInterpreter: A Probabilistic Generative Model-Level Explanation for Graph Neural Networks
by: Wang, Xiaoqi, et al.
Published: (2022)

Probabilistic Neural Networks (PNNs) for Modeling Aleatoric Uncertainty in Scientific Machine Learning
by: Pourkamali-Anaraki, Farhad, et al.
Published: (2024)

KAPLAN: Kolmogorov-Arnold Prognostic Learnable Activation Networks for Survival Analysis
by: Logothetis, Stelios Boulitsakis, et al.
Published: (2026)

Exact Computation of Any-Order Shapley Interactions for Graph Neural Networks
by: Muschalik, Maximilian, et al.
Published: (2025)

Learning Compact Boolean Networks
by: Wang, Shengpu, et al.
Published: (2026)

Probabilistic Multi-Regional Solar Power Forecasting with Any-Quantile Recurrent Neural Networks
by: Smyl, Slawek, et al.
Published: (2026)

Interactive Multi-Objective Probabilistic Preference Learning with Soft and Hard Bounds
by: Chen, Edward, et al.
Published: (2025)

Increasing the Confidence of Deep Neural Networks by Coverage Analysis
by: Rossolini, Giulio, et al.
Published: (2021)

Is Data Valuation Learnable and Interpretable?
by: Wu, Ou, et al.
Published: (2024)

Are Bounded Contracts Learnable and Approximately Optimal?
by: Chen, Yurong, et al.
Published: (2024)

On the Correlation between Individual Fairness and Predictive Accuracy in Probabilistic Models
by: Antonucci, Alessandro, et al.
Published: (2025)