Luca Marzari

6 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 ECAI ×2 AAMAS ×1 IJCAI ×1

Frequent coauthors

Junqi Jiang

DBLP profile ↗ORCID search ↗

×1

Papers

On the Probabilistic Learnability of Compact Neural Network Preimage Bounds
AAAI 2026 · Luca Marzari
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation
ECAI 2025 · Luca Marzari
Improving Policy Optimization via ε-Retrain
AAMAS 2025 · Luca Marzari
RobustX: Robust Counterfactual Explanations Made Easy
IJCAI 2025 ·
Junqi Jiang
DBLP profile ↗ORCID search ↗
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024 · Luca Marzari
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations
ECAI 2024 · Luca Marzari