Image de couverture de livre

Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Longuet, Delphine, Elouazzani, Amira, Riveiros, Alejandro Penacho, Bastianello, Nicola
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Model-free Anomaly Detection for Dynamical Systems with Gaussian Processes
par: Riveiros, Alejandro Penacho, et autres
Publié: (2026)

Detectability of Subtle Anomalies in Dynamical Systems via Log-Likelihood Ratio
par: Riveiros, Alejandro Penacho, et autres
Publié: (2026)

Physics-Informed Detection of Friction Anomalies in Satellite Reaction Wheels
par: Riveiros, Alejandro Penacho, et autres
Publié: (2025)

tvopt: A Python Framework for Time-Varying Optimization
par: Bastianello, Nicola
Publié: (2020)

Enhancing Privacy in Federated Learning through Local Training
par: Bastianello, Nicola, et autres
Publié: (2024)

A Communication-Efficient Decentralized Actor-Critic Algorithm
par: Ren, Xiaoxing, et autres
Publié: (2025)

Modular Distributed Nonconvex Learning with Error Feedback
par: Carnevale, Guido, et autres
Publié: (2025)

(Un)supervised Learning of Maximal Lyapunov Functions
par: Barreau, Matthieu, et autres
Publié: (2024)

Formal Verification of Variational Quantum Circuits
par: Assolini, Nicola, et autres
Publié: (2025)

Robust Online Learning over Networks
par: Bastianello, Nicola, et autres
Publié: (2023)

Extending XReason: Formal Explanations for Adversarial Detection
par: Jemaa, Amira, et autres
Publié: (2024)

Robust Classification with Noisy Labels Based on Posterior Maximization
par: Novello, Nicola, et autres
Publié: (2025)

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

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

$f$-Divergence Based Classification: Beyond the Use of Cross-Entropy
par: Novello, Nicola, et autres
Publié: (2024)

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

Tightening the Evaluation of PAC Bounds Using Formal Verification Results
par: Walker, Thomas, et autres
Publié: (2024)

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

Formal Algorithms for Model Efficiency
par: Tyagi, Naman, et autres
Publié: (2025)

Jointly Computation- and Communication-Efficient Distributed Learning
par: Ren, Xiaoxing, et autres
Publié: (2025)

Communication-Efficient Stochastic Distributed Learning
par: Ren, Xiaoxing, et autres
Publié: (2025)

Online Distributed Learning with Quantized Finite-Time Coordination
par: Bastianello, Nicola, et autres
Publié: (2023)

On Improving Deep Active Learning with Formal Verification
par: Spiegelman, Jonathan, et autres
Publié: (2025)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
par: Nath, Devesh, et autres
Publié: (2025)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
par: Tan, Max
Publié: (2026)

Towards Robust Domain Generation Algorithm Classification
par: Drichel, Arthur, et autres
Publié: (2024)

A survey on secure decentralized optimization and learning
par: Liu, Changxin, et autres
Publié: (2024)

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
par: Cao, Chuxue, et autres
Publié: (2026)

DRIFT: Divergent Response in Filtered Transformations for Robust Adversarial Defense
par: Guesmi, Amira, et autres
Publié: (2025)

Input Validation for Neural Networks via Runtime Local Robustness Verification
par: Liu, Jiangchao, et autres
Publié: (2020)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
par: Wei, Tianhao, et autres
Publié: (2024)

Optimization and Learning in Open Multi-Agent Systems
par: Deplano, Diego, et autres
Publié: (2025)

VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agents
par: Nguyen, Thong Q., et autres
Publié: (2025)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

LogoRA: Local-Global Representation Alignment for Robust Time Series Classification
par: Zhang, Huanyu, et autres
Publié: (2024)

Formal Local Implication Between Two Neural Networks
par: Baninajjar, Anahita, et autres
Publié: (2024)

Robust Low-Cost Drone Detection and Classification in Low SNR Environments
par: Glüge, Stefan, et autres
Publié: (2024)

Making Conformal Predictors Robust in Healthcare Settings: a Case Study on EEG Classification
par: Chatterjee, Arjun, et autres
Publié: (2026)

Communication-Efficient Distributed Learning with Differential Privacy
par: Ren, Xiaoxing, et autres
Publié: (2026)

Statistical Runtime Verification for LLMs via Robustness Estimation
par: Levy, Natan, et autres
Publié: (2025)