PPaperPicks

Lorenzo Cascioli

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ECAI ×1NeurIPS ×1

Frequent coauthors

Laurens Devos
DBLP profile ↗ORCID search ↗
×1
Chaahat Jain
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Faster Repeated Evasion Attacks in Tree Ensembles
    NeurIPS 2024 · Lorenzo Cascioli
  2. Robustness Verification of Multi-Class Tree Ensembles
    AAAI 2024 ·
    Laurens Devos
    DBLP profile ↗ORCID search ↗
  3. Safety Verification of Tree-Ensemble Policies via Predicate Abstraction
    ECAI 2024 ·
    Chaahat Jain
    DBLP profile ↗ORCID search ↗