:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Walker, Thomas, Lomuscio, Alessio
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning
Accès en ligne:	https://arxiv.org/abs/2407.20122
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
par: Brückner, Benedikt, et autres
Publié: (2024)

Out-of-Distribution Detection using Counterfactual Distance
par: Stoica, Maria, et autres
Publié: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
par: Batten, Ben, et autres
Publié: (2024)

IoUCert: Robustness Verification for Anchor-based Object Detectors
par: Brückner, Benedikt, et autres
Publié: (2026)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
par: Batten, Ben, et autres
Publié: (2024)

LTL Verification of Memoryful Neural Agents
par: Hosseini, Mehran, et autres
Publié: (2025)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
par: Marzari, Luca, et autres
Publié: (2025)

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks
par: Badilla, Fabian, et autres
Publié: (2023)

Better-than-KL PAC-Bayes Bounds
par: Kuzborskij, Ilja, et autres
Publié: (2024)

Empirical PAC-Bayes Bounds for Markov Chains
par: Karagulyan, Vahe, et autres
Publié: (2025)

Refined PAC-Bayes Bounds for Offline Bandits
par: Gouverneur, Amaury, et autres
Publié: (2025)

PAC-Bayesian Domain Adaptation Bounds for Multi-view learning
par: Hennequin, Mehdi, et autres
Publié: (2024)

PAC-Bayesian Bounds on Constrained f-Entropic Risk Measures
par: Atbir, Hind, et autres
Publié: (2025)

Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
par: Lugosi, Gábor, et autres
Publié: (2023)

PAC-Bayes Bounds for Multivariate Linear Regression and Linear Autoencoders
par: Guo, Ruixin, et autres
Publié: (2025)

ST-BCP: Tightening Coverage Bound for Backward Conformal Prediction via Non-Conformity Score Transformation
par: Liu, Junxian, et autres
Publié: (2026)

A DPI-PAC-Bayesian Framework for Generalization Bounds
par: Guan, Muhan, et autres
Publié: (2025)

PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime
par: Masegosa, Andrés R., et autres
Publié: (2023)

Expressive Losses for Verified Robustness via Convex Combinations
par: De Palma, Alessandro, et autres
Publié: (2023)

Regularized GLISp for sensor-guided human-in-the-loop optimization
par: Cercola, Matteo, et autres
Publié: (2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
par: Sayed, Abdelrahman Sayed, et autres
Publié: (2025)

Improving Generalization of Complex Models under Unbounded Loss Using PAC-Bayes Bounds
par: Zhang, Xitong, et autres
Publié: (2023)

PAC-Bayesian Adversarially Robust Generalization Bounds for Graph Neural Network
par: Sun, Tan, et autres
Publié: (2024)

PAC-Bayes Bounds for Gibbs Posteriors via Singular Learning Theory
par: Wang, Chenyang, et autres
Publié: (2026)

PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs
par: Eringis, Deividas, et autres
Publié: (2023)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
par: Xiao, Yuan, et autres
Publié: (2022)

PAC-Bayesian Generalization Bounds for Knowledge Graph Representation Learning
par: Lee, Jaejun, et autres
Publié: (2024)

Controlling Multiple Errors Simultaneously with a PAC-Bayes Bound
par: Adams, Reuben, et autres
Publié: (2022)

Leveraging PAC-Bayes Theory and Gibbs Distributions for Generalization Bounds with Complexity Measures
par: Viallard, Paul, et autres
Publié: (2024)

PAC-Bayesian Generalization Bounds for Graph Convolutional Networks on Inductive Node Classification
par: Tang, Huayi, et autres
Publié: (2025)

A Framework for Bounding Deterministic Risk with PAC-Bayes: Applications to Majority Votes
par: Leblanc, Benjamin, et autres
Publié: (2025)

Tightening optimality gap with confidence through conformal prediction
par: Li, Miao, et autres
Publié: (2025)

Automated Conjecture Resolution with Formal Verification
par: Ju, Haocheng, et autres
Publié: (2026)

Is Multi-Distribution Learning as Easy as PAC Learning: Sharp Rates with Bounded Label Noise
par: Hanashiro, Rafael, et autres
Publié: (2026)

Towards A Unified PAC-Bayesian Framework for Norm-based Generalization Bounds
par: Yi, Xinping, et autres
Publié: (2026)

Fully Automatic Neural Network Reduction for Formal Verification
par: Ladner, Tobias, et autres
Publié: (2023)

Pseudo-Formalization for Automatic Proof Verification
par: Barkallah, Slim, et autres
Publié: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
par: Sanchez-Stern, Alex, et autres
Publié: (2024)

Generalization Bounds via Meta-Learned Model Representations: PAC-Bayes and Sample Compression Hypernetworks
par: Leblanc, Benjamin, et autres
Publié: (2024)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
par: Chevalier, Samuel, et autres
Publié: (2024)