:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Walker, Thomas, Lomuscio, Alessio
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning
Online-Zugang:	https://arxiv.org/abs/2407.20122
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
von: Brückner, Benedikt, et al.
Veröffentlicht: (2024)

Out-of-Distribution Detection using Counterfactual Distance
von: Stoica, Maria, et al.
Veröffentlicht: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
von: Batten, Ben, et al.
Veröffentlicht: (2024)

IoUCert: Robustness Verification for Anchor-based Object Detectors
von: Brückner, Benedikt, et al.
Veröffentlicht: (2026)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
von: Batten, Ben, et al.
Veröffentlicht: (2024)

LTL Verification of Memoryful Neural Agents
von: Hosseini, Mehran, et al.
Veröffentlicht: (2025)

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

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks
von: Badilla, Fabian, et al.
Veröffentlicht: (2023)

Better-than-KL PAC-Bayes Bounds
von: Kuzborskij, Ilja, et al.
Veröffentlicht: (2024)

Empirical PAC-Bayes Bounds for Markov Chains
von: Karagulyan, Vahe, et al.
Veröffentlicht: (2025)

Refined PAC-Bayes Bounds for Offline Bandits
von: Gouverneur, Amaury, et al.
Veröffentlicht: (2025)

PAC-Bayesian Domain Adaptation Bounds for Multi-view learning
von: Hennequin, Mehdi, et al.
Veröffentlicht: (2024)

PAC-Bayesian Bounds on Constrained f-Entropic Risk Measures
von: Atbir, Hind, et al.
Veröffentlicht: (2025)

Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
von: Lugosi, Gábor, et al.
Veröffentlicht: (2023)

PAC-Bayes Bounds for Multivariate Linear Regression and Linear Autoencoders
von: Guo, Ruixin, et al.
Veröffentlicht: (2025)

ST-BCP: Tightening Coverage Bound for Backward Conformal Prediction via Non-Conformity Score Transformation
von: Liu, Junxian, et al.
Veröffentlicht: (2026)

A DPI-PAC-Bayesian Framework for Generalization Bounds
von: Guan, Muhan, et al.
Veröffentlicht: (2025)

PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime
von: Masegosa, Andrés R., et al.
Veröffentlicht: (2023)

Expressive Losses for Verified Robustness via Convex Combinations
von: De Palma, Alessandro, et al.
Veröffentlicht: (2023)

Regularized GLISp for sensor-guided human-in-the-loop optimization
von: Cercola, Matteo, et al.
Veröffentlicht: (2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
von: Sayed, Abdelrahman Sayed, et al.
Veröffentlicht: (2025)

Improving Generalization of Complex Models under Unbounded Loss Using PAC-Bayes Bounds
von: Zhang, Xitong, et al.
Veröffentlicht: (2023)

PAC-Bayesian Adversarially Robust Generalization Bounds for Graph Neural Network
von: Sun, Tan, et al.
Veröffentlicht: (2024)

PAC-Bayes Bounds for Gibbs Posteriors via Singular Learning Theory
von: Wang, Chenyang, et al.
Veröffentlicht: (2026)

PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs
von: Eringis, Deividas, et al.
Veröffentlicht: (2023)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
von: Xiao, Yuan, et al.
Veröffentlicht: (2022)

PAC-Bayesian Generalization Bounds for Knowledge Graph Representation Learning
von: Lee, Jaejun, et al.
Veröffentlicht: (2024)

Controlling Multiple Errors Simultaneously with a PAC-Bayes Bound
von: Adams, Reuben, et al.
Veröffentlicht: (2022)

Leveraging PAC-Bayes Theory and Gibbs Distributions for Generalization Bounds with Complexity Measures
von: Viallard, Paul, et al.
Veröffentlicht: (2024)

PAC-Bayesian Generalization Bounds for Graph Convolutional Networks on Inductive Node Classification
von: Tang, Huayi, et al.
Veröffentlicht: (2025)

A Framework for Bounding Deterministic Risk with PAC-Bayes: Applications to Majority Votes
von: Leblanc, Benjamin, et al.
Veröffentlicht: (2025)

Tightening optimality gap with confidence through conformal prediction
von: Li, Miao, et al.
Veröffentlicht: (2025)

Automated Conjecture Resolution with Formal Verification
von: Ju, Haocheng, et al.
Veröffentlicht: (2026)

Is Multi-Distribution Learning as Easy as PAC Learning: Sharp Rates with Bounded Label Noise
von: Hanashiro, Rafael, et al.
Veröffentlicht: (2026)

Towards A Unified PAC-Bayesian Framework for Norm-based Generalization Bounds
von: Yi, Xinping, et al.
Veröffentlicht: (2026)

Fully Automatic Neural Network Reduction for Formal Verification
von: Ladner, Tobias, et al.
Veröffentlicht: (2023)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
von: Sanchez-Stern, Alex, et al.
Veröffentlicht: (2024)

Generalization Bounds via Meta-Learned Model Representations: PAC-Bayes and Sample Compression Hypernetworks
von: Leblanc, Benjamin, et al.
Veröffentlicht: (2024)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
von: Chevalier, Samuel, et al.
Veröffentlicht: (2024)