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
×3
Jesse Davis
×3
Ondrej Kuzelka
×1
Chaahat Jain
×1
Marcel Vinzent
×1
Marcel Steinmetz
×1
Jörg Hoffmann
×1

Papers

  1. Faster Repeated Evasion Attacks in Tree Ensembles
    NeurIPS 2024 · Lorenzo Cascioli,
    Laurens Devos
    ,
    Ondrej Kuzelka
    ,
    Jesse Davis
  2. Robustness Verification of Multi-Class Tree Ensembles
    AAAI 2024 ·
    Laurens Devos
    , Lorenzo Cascioli,
    Jesse Davis
  3. Safety Verification of Tree-Ensemble Policies via Predicate Abstraction
    ECAI 2024 ·
    Chaahat Jain
    , Lorenzo Cascioli,
    Laurens Devos
    ,
    Marcel Vinzent
    ,
    Marcel Steinmetz
    ,
    Jesse Davis
    ,
    Jörg Hoffmann