Salvato in:
| Autori principali: | Walker, Thomas, Lomuscio, Alessio |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| 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)
di: Brückner, Benedikt, et al.
Pubblicazione: (2024)
Out-of-Distribution Detection using Counterfactual Distance
di: Stoica, Maria, et al.
Pubblicazione: (2025)
di: Stoica, Maria, et al.
Pubblicazione: (2025)
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
di: Batten, Ben, et al.
Pubblicazione: (2024)
di: Batten, Ben, et al.
Pubblicazione: (2024)
IoUCert: Robustness Verification for Anchor-based Object Detectors
di: Brückner, Benedikt, et al.
Pubblicazione: (2026)
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)
di: Batten, Ben, et al.
Pubblicazione: (2024)
LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)
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)
di: Marzari, Luca, et al.
Pubblicazione: (2025)
Computational Tradeoffs of Optimization-Based Bound Tightening in ReLU Networks
di: Badilla, Fabian, et al.
Pubblicazione: (2023)
di: Badilla, Fabian, et al.
Pubblicazione: (2023)
Better-than-KL PAC-Bayes Bounds
di: Kuzborskij, Ilja, et al.
Pubblicazione: (2024)
di: Kuzborskij, Ilja, et al.
Pubblicazione: (2024)
Empirical PAC-Bayes Bounds for Markov Chains
di: Karagulyan, Vahe, et al.
Pubblicazione: (2025)
di: Karagulyan, Vahe, et al.
Pubblicazione: (2025)
Refined PAC-Bayes Bounds for Offline Bandits
di: Gouverneur, Amaury, et al.
Pubblicazione: (2025)
di: Gouverneur, Amaury, et al.
Pubblicazione: (2025)
PAC-Bayesian Domain Adaptation Bounds for Multi-view learning
di: Hennequin, Mehdi, et al.
Pubblicazione: (2024)
di: Hennequin, Mehdi, et al.
Pubblicazione: (2024)
PAC-Bayesian Bounds on Constrained f-Entropic Risk Measures
di: Atbir, Hind, et al.
Pubblicazione: (2025)
di: Atbir, Hind, et al.
Pubblicazione: (2025)
Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
di: Lugosi, Gábor, et al.
Pubblicazione: (2023)
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)
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)
di: Liu, Junxian, et al.
Pubblicazione: (2026)
A DPI-PAC-Bayesian Framework for Generalization Bounds
di: Guan, Muhan, et al.
Pubblicazione: (2025)
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)
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)
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)
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)
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)
di: Zhang, Xitong, et al.
Pubblicazione: (2023)
PAC-Bayesian Adversarially Robust Generalization Bounds for Graph Neural Network
di: Sun, Tan, et al.
Pubblicazione: (2024)
di: Sun, Tan, et al.
Pubblicazione: (2024)
PAC-Bayes Bounds for Gibbs Posteriors via Singular Learning Theory
di: Wang, Chenyang, et al.
Pubblicazione: (2026)
di: Wang, Chenyang, et al.
Pubblicazione: (2026)
PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs
di: Eringis, Deividas, et al.
Pubblicazione: (2023)
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)
di: Xiao, Yuan, et al.
Pubblicazione: (2022)
PAC-Bayesian Generalization Bounds for Knowledge Graph Representation Learning
di: Lee, Jaejun, et al.
Pubblicazione: (2024)
di: Lee, Jaejun, et al.
Pubblicazione: (2024)
Controlling Multiple Errors Simultaneously with a PAC-Bayes Bound
di: Adams, Reuben, et al.
Pubblicazione: (2022)
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)
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)
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)
di: Leblanc, Benjamin, et al.
Pubblicazione: (2025)
Tightening optimality gap with confidence through conformal prediction
di: Li, Miao, et al.
Pubblicazione: (2025)
di: Li, Miao, et al.
Pubblicazione: (2025)
Automated Conjecture Resolution with Formal Verification
di: Ju, Haocheng, et al.
Pubblicazione: (2026)
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)
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)
di: Yi, Xinping, et al.
Pubblicazione: (2026)
Fully Automatic Neural Network Reduction for Formal Verification
di: Ladner, Tobias, et al.
Pubblicazione: (2023)
di: Ladner, Tobias, et al.
Pubblicazione: (2023)
Pseudo-Formalization for Automatic Proof Verification
di: Barkallah, Slim, et al.
Pubblicazione: (2026)
di: Barkallah, Slim, et al.
Pubblicazione: (2026)
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)
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)
di: Leblanc, Benjamin, et al.
Pubblicazione: (2024)
Achieving the Tightest Relaxation of Sigmoids for Formal Verification
di: Chevalier, Samuel, et al.
Pubblicazione: (2024)
di: Chevalier, Samuel, et al.
Pubblicazione: (2024)
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)