:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Walker, Thomas, Lomuscio, Alessio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning
Accesso online:	https://arxiv.org/abs/2407.20122
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
di: Brückner, Benedikt, et al.
Pubblicazione: (2024)

Out-of-Distribution Detection using Counterfactual Distance
di: Stoica, Maria, et al.
Pubblicazione: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
di: Batten, Ben, et al.
Pubblicazione: (2024)

IoUCert: Robustness Verification for Anchor-based Object Detectors
di: Brückner, Benedikt, et al.
Pubblicazione: (2026)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
di: Batten, Ben, et al.
Pubblicazione: (2024)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

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

Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks
di: Badilla, Fabian, et al.
Pubblicazione: (2023)

Better-than-KL PAC-Bayes Bounds
di: Kuzborskij, Ilja, et al.
Pubblicazione: (2024)

Empirical PAC-Bayes Bounds for Markov Chains
di: Karagulyan, Vahe, et al.
Pubblicazione: (2025)

Refined PAC-Bayes Bounds for Offline Bandits
di: Gouverneur, Amaury, et al.
Pubblicazione: (2025)

PAC-Bayesian Domain Adaptation Bounds for Multi-view learning
di: Hennequin, Mehdi, et al.
Pubblicazione: (2024)

PAC-Bayesian Bounds on Constrained f-Entropic Risk Measures
di: Atbir, Hind, et al.
Pubblicazione: (2025)

Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
di: Lugosi, Gábor, et al.
Pubblicazione: (2023)

PAC-Bayes Bounds for Multivariate Linear Regression and Linear Autoencoders
di: Guo, Ruixin, et al.
Pubblicazione: (2025)

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

A DPI-PAC-Bayesian Framework for Generalization Bounds
di: Guan, Muhan, et al.
Pubblicazione: (2025)

PAC-Chernoff Bounds: Understanding Generalization in the Interpolation Regime
di: Masegosa, Andrés R., et al.
Pubblicazione: (2023)

Expressive Losses for Verified Robustness via Convex Combinations
di: De Palma, Alessandro, et al.
Pubblicazione: (2023)

Regularized GLISp for sensor-guided human-in-the-loop optimization
di: Cercola, Matteo, et al.
Pubblicazione: (2025)

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

Improving Generalization of Complex Models under Unbounded Loss Using PAC-Bayes Bounds
di: Zhang, Xitong, et al.
Pubblicazione: (2023)

PAC-Bayesian Adversarially Robust Generalization Bounds for Graph Neural Network
di: Sun, Tan, et al.
Pubblicazione: (2024)

PAC-Bayes Bounds for Gibbs Posteriors via Singular Learning Theory
di: Wang, Chenyang, et al.
Pubblicazione: (2026)

PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs
di: Eringis, Deividas, et al.
Pubblicazione: (2023)

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

PAC-Bayesian Generalization Bounds for Knowledge Graph Representation Learning
di: Lee, Jaejun, et al.
Pubblicazione: (2024)

Controlling Multiple Errors Simultaneously with a PAC-Bayes Bound
di: Adams, Reuben, et al.
Pubblicazione: (2022)

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

PAC-Bayesian Generalization Bounds for Graph Convolutional Networks on Inductive Node Classification
di: Tang, Huayi, et al.
Pubblicazione: (2025)

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

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

Automated Conjecture Resolution with Formal Verification
di: Ju, Haocheng, et al.
Pubblicazione: (2026)

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

Towards A Unified PAC-Bayesian Framework for Norm-based Generalization Bounds
di: Yi, Xinping, et al.
Pubblicazione: (2026)

Fully Automatic Neural Network Reduction for Formal Verification
di: Ladner, Tobias, et al.
Pubblicazione: (2023)

Pseudo-Formalization for Automatic Proof Verification
di: Barkallah, Slim, et al.
Pubblicazione: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)

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

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
di: Chevalier, Samuel, et al.
Pubblicazione: (2024)