:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Longuet, Delphine, Elouazzani, Amira, Riveiros, Alejandro Penacho, Bastianello, Nicola
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning
Accesso online:	https://arxiv.org/abs/2509.03948
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Model-free Anomaly Detection for Dynamical Systems with Gaussian Processes
di: Riveiros, Alejandro Penacho, et al.
Pubblicazione: (2026)

Detectability of Subtle Anomalies in Dynamical Systems via Log-Likelihood Ratio
di: Riveiros, Alejandro Penacho, et al.
Pubblicazione: (2026)

Physics-Informed Detection of Friction Anomalies in Satellite Reaction Wheels
di: Riveiros, Alejandro Penacho, et al.
Pubblicazione: (2025)

tvopt: A Python Framework for Time-Varying Optimization
di: Bastianello, Nicola
Pubblicazione: (2020)

Enhancing Privacy in Federated Learning through Local Training
di: Bastianello, Nicola, et al.
Pubblicazione: (2024)

A Communication-Efficient Decentralized Actor-Critic Algorithm
di: Ren, Xiaoxing, et al.
Pubblicazione: (2025)

Modular Distributed Nonconvex Learning with Error Feedback
di: Carnevale, Guido, et al.
Pubblicazione: (2025)

(Un)supervised Learning of Maximal Lyapunov Functions
di: Barreau, Matthieu, et al.
Pubblicazione: (2024)

Robust Online Learning over Networks
di: Bastianello, Nicola, et al.
Pubblicazione: (2023)

Formal Verification of Variational Quantum Circuits
di: Assolini, Nicola, et al.
Pubblicazione: (2025)

Extending XReason: Formal Explanations for Adversarial Detection
di: Jemaa, Amira, et al.
Pubblicazione: (2024)

Online Distributed Learning with Quantized Finite-Time Coordination
di: Bastianello, Nicola, et al.
Pubblicazione: (2023)

Jointly Computation- and Communication-Efficient Distributed Learning
di: Ren, Xiaoxing, et al.
Pubblicazione: (2025)

Communication-Efficient Stochastic Distributed Learning
di: Ren, Xiaoxing, et al.
Pubblicazione: (2025)

Robust Classification with Noisy Labels Based on Posterior Maximization
di: Novello, Nicola, et al.
Pubblicazione: (2025)

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

A survey on secure decentralized optimization and learning
di: Liu, Changxin, et al.
Pubblicazione: (2024)

Optimization and Learning in Open Multi-Agent Systems
di: Deplano, Diego, et al.
Pubblicazione: (2025)

$f$-Divergence Based Classification: Beyond the Use of Cross-Entropy
di: Novello, Nicola, et al.
Pubblicazione: (2024)

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)

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

DRIFT: Divergent Response in Filtered Transformations for Robust Adversarial Defense
di: Guesmi, Amira, et al.
Pubblicazione: (2025)

Tightening the Evaluation of PAC Bounds Using Formal Verification Results
di: Walker, Thomas, et al.
Pubblicazione: (2024)

Formal Algorithms for Model Efficiency
di: Tyagi, Naman, et al.
Pubblicazione: (2025)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
di: Nath, Devesh, et al.
Pubblicazione: (2025)

On Improving Deep Active Learning with Formal Verification
di: Spiegelman, Jonathan, et al.
Pubblicazione: (2025)

Automating Formal Verification with Reinforcement Learning and Recursive Inference
di: Tan, Max
Pubblicazione: (2026)

Towards Robust Domain Generation Algorithm Classification
di: Drichel, Arthur, et al.
Pubblicazione: (2024)

Personalized and Resilient Distributed Learning Through Opinion Dynamics
di: Ballotta, Luca, et al.
Pubblicazione: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
di: Wei, Tianhao, et al.
Pubblicazione: (2024)

Communication-Efficient Distributed Learning with Differential Privacy
di: Ren, Xiaoxing, et al.
Pubblicazione: (2026)

Input Validation for Neural Networks via Runtime Local Robustness Verification
di: Liu, Jiangchao, et al.
Pubblicazione: (2020)

Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification
di: Cao, Chuxue, et al.
Pubblicazione: (2026)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
di: Elboher, Yizhak Yisrael, et al.
Pubblicazione: (2025)

VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agents
di: Nguyen, Thong Q., et al.
Pubblicazione: (2025)

Robust Low-Cost Drone Detection and Classification in Low SNR Environments
di: Glüge, Stefan, et al.
Pubblicazione: (2024)

Making Conformal Predictors Robust in Healthcare Settings: a Case Study on EEG Classification
di: Chatterjee, Arjun, et al.
Pubblicazione: (2026)

Hierarchical Federated ADMM
di: Azimi-Abarghouyi, Seyed Mohammad, et al.
Pubblicazione: (2024)

DafnyBench: A Benchmark for Formal Software Verification
di: Loughridge, Chloe, et al.
Pubblicazione: (2024)